isabelle: Changelog

paulson [Mon, 21 Jan 2002 14:47:55 +0100] rev 12825

new simprules and classical rules

berghofe [Mon, 21 Jan 2002 14:47:47 +0100] rev 12824

Tuned name mangling function.

berghofe [Mon, 21 Jan 2002 14:45:00 +0100] rev 12823

Made some proofs constructive.

berghofe [Mon, 21 Jan 2002 14:43:38 +0100] rev 12822

datatype_codegen now checks type of constructor.

nipkow [Mon, 21 Jan 2002 13:44:16 +0100] rev 12821

*** empty log message ***

Mon, 21 Jan 2002 11:25:45 +0100 lexical tidying

paulson [Mon, 21 Jan 2002 11:25:45 +0100] rev 12820

lexical tidying

paulson [Mon, 21 Jan 2002 10:52:05 +0100] rev 12819

slight re-use of code

kleing [Sat, 19 Jan 2002 15:44:53 +0100] rev 12818

fixed typos

wenzelm [Fri, 18 Jan 2002 18:36:19 +0100] rev 12817

rewrite_term: removed rew0, so no on-the-fly eta-contraction;

wenzelm [Fri, 18 Jan 2002 18:35:39 +0100] rev 12816

fixed document setup of HOL-Library;

isabelle