isabelle: Changelog

wenzelm [Fri, 28 Sep 2001 19:21:26 +0200] rev 11629

permissive option;

wenzelm [Fri, 28 Sep 2001 19:19:26 +0200] rev 11628

inductive: no collective atts;

wenzelm [Fri, 28 Sep 2001 19:18:46 +0200] rev 11627

updated;

wenzelm [Fri, 28 Sep 2001 19:17:01 +0200] rev 11626

recdef (permissive);

berghofe [Fri, 28 Sep 2001 18:55:37 +0200] rev 11625

Tuned section about parsing and printing proof terms.

berghofe [Fri, 28 Sep 2001 17:19:46 +0200] rev 11624

mksimps and mk_eq_True no longer raise THM exception.

berghofe [Fri, 28 Sep 2001 16:45:03 +0200] rev 11623

Added label for section on terms.

berghofe [Fri, 28 Sep 2001 16:44:27 +0200] rev 11622

Added documentation for proof terms.

berghofe [Fri, 28 Sep 2001 16:43:50 +0200] rev 11621

Added TYPE to Pure grammar.

berghofe [Fri, 28 Sep 2001 16:42:58 +0200] rev 11620

Added \ttlbrack and \ttrbrack.

isabelle