src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy
Tue, 13 Aug 2013 16:25:47 +0200 wenzelm standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
Mon, 15 Jul 2013 20:36:27 +0200 wenzelm tuned line length;
Tue, 13 Mar 2012 16:56:56 +0100 wenzelm prefer abs_def over def_raw;
Sat, 24 Dec 2011 15:53:10 +0100 haftmann adjusted to set/pred distinction by means of type constructor `set`
less more (0) -4 tip