isabelle: File revisions

src/HOL/Predicate_Compile_Examples/Examples.thy

Thu, 11 Sep 2014 19:32:36 +0200	blanchet	updated news	file \| diff \| annotate
Tue, 09 Sep 2014 20:51:36 +0200	blanchet	use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries	file \| diff \| annotate
Tue, 13 Aug 2013 16:25:47 +0200	wenzelm	standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;	file \| diff \| annotate
Mon, 15 Jul 2013 20:36:27 +0200	wenzelm	tuned line length;	file \| diff \| annotate
Fri, 15 Feb 2013 08:31:31 +0100	haftmann	less customary term_of conversions;	file \| diff \| annotate
Sat, 24 Dec 2011 15:53:10 +0100	haftmann	adjusted to set/pred distinction by means of type constructor `set`	file \| diff \| annotate
Sat, 23 Apr 2011 13:00:19 +0200	wenzelm	modernized specifications;	file \| diff \| annotate
Mon, 04 Apr 2011 09:32:50 +0200	krauss	raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics.	file \| diff \| annotate

isabelle