isabelle: File revisions

src/HOL/Proofs/Lambda/Commutation.thy

Thu, 18 Sep 2014 17:54:56 +0200	blanchet	help AFP entry 'Free-Groups' to compile	file \| diff \| annotate
Thu, 18 Sep 2014 16:47:40 +0200	blanchet	moved 'old_datatype' out of 'Main' (but put it in 'HOL-Proofs' because of the inductive realizer)	file \| diff \| annotate
Fri, 17 Feb 2012 15:42:26 +0100	wenzelm	simplified configuration options for syntax ambiguity;	file \| diff \| annotate
Thu, 16 Feb 2012 22:18:28 +0100	wenzelm	simplified configuration options for syntax ambiguity;	file \| diff \| annotate
Mon, 12 Sep 2011 07:55:43 +0200	nipkow	new fastforce replacing fastsimp - less confusing name	file \| diff \| annotate
Fri, 13 May 2011 22:55:00 +0200	wenzelm	proper Proof.context for classical tactics;	file \| diff \| annotate
Mon, 06 Sep 2010 19:13:10 +0200	wenzelm	more antiquotations;	file \| diff \| annotate
Mon, 06 Sep 2010 14:18:16 +0200	wenzelm	more explicit HOL-Proofs sessions, including former ex/Hilbert_Classical.thy which works in parallel mode without the antiquotation option "margin" (which is still critical);	file \| diff \| annotate \| base

isabelle