src/HOL/Predicate_Compile_Examples/Examples.thy
2011-03-24 bulwahn 2011-03-24 allowing special set comprehensions in values command; adding an example for special set comprehension in values
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-09-23 bulwahn 2010-09-23 splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests