isabelle: Changelog

kleing [Thu, 03 Feb 2005 03:33:55 +0100] rev 15491

Document now applies to devel version (and Isabelle 2005)

berghofe [Wed, 02 Feb 2005 18:20:31 +0100] rev 15490

Replaced application of subst by simplesubst in proof of app_Var_NF to avoid problems with program extraction.

berghofe [Wed, 02 Feb 2005 18:19:43 +0100] rev 15489

Replaced application of subst by simplesubst in proof of rev_induct to avoid problems with program extraction.

paulson [Wed, 02 Feb 2005 18:06:25 +0100] rev 15488

tidying of some subst/simplesubst proofs

paulson [Wed, 02 Feb 2005 18:06:00 +0100] rev 15487

generalization and tidying

paulson [Wed, 02 Feb 2005 15:43:04 +0100] rev 15486

improved handling of chained facts

nipkow [Wed, 02 Feb 2005 10:16:33 +0100] rev 15485

Max_le -> Max_ge

nipkow [Wed, 02 Feb 2005 09:15:40 +0100] rev 15484

fold and fol1 changes

nipkow [Wed, 02 Feb 2005 08:53:03 +0100] rev 15483

added [simp]

kleing [Wed, 02 Feb 2005 08:45:14 +0100] rev 15482

link to PG FAQ for start up problem

isabelle