isabelle: File revisions

src/HOL/Metis_Examples/Sets.thy

Tue, 01 Sep 2015 22:32:58 +0200	wenzelm	eliminated \<Colon>;	file \| diff \| annotate
Sun, 02 Nov 2014 18:21:45 +0100	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
Thu, 12 Jun 2014 17:10:12 +0200	blanchet	renamed Sledgehammer options	file \| diff \| annotate
Thu, 30 Jan 2014 14:37:53 +0100	blanchet	renamed Sledgehammer options for symmetry between positive and negative versions	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
Thu, 14 Feb 2013 22:49:22 +0100	smolkas	renamed sledgehammer_shrink to sledgehammer_compress	file \| diff \| annotate
Thu, 03 Jan 2013 17:28:55 +0100	blanchet	use new skolemizer for reconstructing skolemization steps in Isar proofs (because the old skolemizer messes up the order of the Skolem arguments)	file \| diff \| annotate
Tue, 06 Nov 2012 15:15:33 +0100	blanchet	renamed Sledgehammer option	file \| diff \| annotate

isabelle