Predicates in Isabelle/HOL (2009)

by Lukas Bulwahn , Fakultät Informatik , Der Technischen Universität München , Diplomarbeit In Informatik , Supervisor Prof , Tobias Nipkow , Ph. D