isabelle: Changelog

nipkow [Tue, 21 Feb 2006 16:37:54 +0100] rev 19118

added Tools/nbe, fixes

nipkow [Tue, 21 Feb 2006 16:37:33 +0100] rev 19117

added Tools/nbe

nipkow [Tue, 21 Feb 2006 16:18:50 +0100] rev 19116

New normalization-by-evaluation package

wenzelm [Tue, 21 Feb 2006 15:06:50 +0100] rev 19115

distinct (op =); removed spurious PolyML.print;

kleing [Mon, 20 Feb 2006 21:51:50 +0100] rev 19114

fixed

paulson [Mon, 20 Feb 2006 16:23:38 +0100] rev 19113

Inclusion of subset_refl in ATP calls

paulson [Mon, 20 Feb 2006 16:22:52 +0100] rev 19112

Fix variable-naming bug (?) by removing a needless recursive call

haftmann [Mon, 20 Feb 2006 11:38:06 +0100] rev 19111

slight code generator serialization improvements

haftmann [Mon, 20 Feb 2006 11:37:18 +0100] rev 19110

moved intro_classes from AxClass to ClassPackage

kleing [Sun, 19 Feb 2006 22:40:18 +0100] rev 19109

fixed document

isabelle