src/HOL/Predicate_Compile_Examples/Examples.thy
Sat, 24 Dec 2011 15:53:10 +0100 haftmann adjusted to set/pred distinction by means of type constructor `set`
less more (0) -1 tip