isabelle: File revisions

src/HOL/Tools/BNF/bnf_lfp_rec_sugar_more.ML

Fri, 27 Jun 2014 10:11:44 +0200	blanchet	tuned variable names	file \| diff \| annotate
Tue, 24 Jun 2014 13:48:14 +0200	desharna	tune the implementation of 'rel_coinduct'	file \| diff \| annotate
Mon, 05 May 2014 08:30:38 +0200	blanchet	note correct induction schemes in 'primrec' (for N2M)	file \| diff \| annotate
Wed, 23 Apr 2014 10:23:26 +0200	blanchet	generate size instances for new-style datatypes	file \| diff \| annotate
Mon, 03 Mar 2014 12:48:20 +0100	blanchet	rationalize internals	file \| diff \| annotate
Thu, 27 Feb 2014 13:04:57 +0100	blanchet	correct most general type for mutual recursion when several identical types are involved	file \| diff \| annotate
Wed, 19 Feb 2014 08:34:33 +0100	blanchet	moved 'primrec' up (for real this time) and removed temporary 'old_primrec'	file \| diff \| annotate
Wed, 19 Feb 2014 08:34:32 +0100	blanchet	rewrote a small portion of code to avoid dependency on low-level constant	file \| diff \| annotate
Tue, 18 Feb 2014 23:08:59 +0100	blanchet	prepare two-stage 'primrec' setup	file \| diff \| annotate

isabelle