src/HOL/Predicate_Compile_Examples/Examples.thy
Thu, 24 Mar 2011 15:29:31 +0100 bulwahn allowing special set comprehensions in values command; adding an example for special set comprehension in values
Wed, 29 Dec 2010 17:34:41 +0100 wenzelm explicit file specifications -- avoid secondary load path;
less more (0) tip