src/HOL/Lambda/ParRed.thy
2000-09-12 wenzelm 2000-09-12 renamed atts: rulify to rule_format, elimify to elim_format;
2000-09-07 wenzelm 2000-09-07 updated attribute names;
2000-09-02 wenzelm 2000-09-02 HOL/Lambda: converted into new-style theory and document;
2000-03-30 nipkow 2000-03-30 recdef.rules -> recdef.simps
1998-07-15 nipkow 1998-07-15 @ -> $
1998-07-13 nipkow 1998-07-13 Replace awkward primrec by recdef.
1997-04-21 paulson 1997-04-21 Tidied up the indentation
1996-11-04 nipkow 1996-11-04 Used nat_trans_tac. New Eta. various smaller changes.
1996-08-08 berghofe 1996-08-08 Simplified primrec definitions.
1996-06-06 paulson 1996-06-06 Quotes now optional around inductive set
1995-12-01 clasohm 1995-12-01 removed quotes from consts and syntax sections
1995-10-06 nipkow 1995-10-06 New version with eta reduction.
1995-05-22 nipkow 1995-05-22 Moved comment from ParRed.thy to ROOT.ML
1995-05-22 nipkow 1995-05-22 Polished the presentation making it completely definitional.
1995-05-13 nipkow 1995-05-13 Lambda calculus in de Bruijn notation. Proof of confluence.