src/HOL/ex/Predicate_Compile_ex.thy
Tue, 12 May 2009 21:17:47 +0200 haftmann split Predicate_Compile examples into separate theory
less more (0) tip