isabelle: File revisions

src/HOL/Proofs/Lambda/Lambda.thy

Sun, 02 Nov 2014 18:21:45 +0100	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
Thu, 18 Sep 2014 19:01:50 +0200	blanchet	tuned imports	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
Thu, 11 Sep 2014 19:32:36 +0200	blanchet	updated news	file \| diff \| annotate
Tue, 09 Sep 2014 20:51:36 +0200	blanchet	ported HOL-Proofs-Lambda to new datatypes	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, 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