isabelle: File revisions

src/ZF/Main_ZF.thy

Sat, 07 Mar 2015 21:32:31 +0100	wenzelm	clarified Drule.gen_all: observe context more carefully;	file \| diff \| annotate
Sun, 02 Nov 2014 16:39:54 +0100	wenzelm	modernized header;	file \| diff \| annotate
Thu, 15 Mar 2012 16:35:02 +0000	paulson	replacing ":" by "\<in>"	file \| diff \| annotate
Tue, 06 Mar 2012 15:15:49 +0000	paulson	mathematical symbols instead of ASCII	file \| diff \| annotate
Thu, 24 Nov 2011 21:01:06 +0100	wenzelm	modernized some old-style infix operations, which were left over from the time of ML proof scripts;	file \| diff \| annotate
Thu, 29 Apr 2010 22:56:32 +0200	wenzelm	proper context for mksimps etc. -- via simpset of the running Simplifier;	file \| diff \| annotate
Wed, 21 Jan 2009 16:47:31 +0100	haftmann	dropped ID	file \| diff \| annotate
Wed, 19 Mar 2008 22:47:35 +0100	wenzelm	eliminated change_claset/simpset;	file \| diff \| annotate
Mon, 11 Feb 2008 15:40:21 +0100	krauss	Made theory names in ZF disjoint from HOL theory names to allow loading both developments	file \| diff \| annotate

isabelle