isabelle: Changelog

paulson [Tue, 15 Apr 1997 10:18:01 +0200] rev 2950

Now puts basic rewrites for lappend & lmap into the simpset

paulson [Tue, 15 Apr 1997 10:17:15 +0200] rev 2949

Removed "AddSDs [Scons_inject];" because (a) IT WAS WRONG (should have been AddSEs) (b) It was redundant (due to the AddIffs [...,Scons_Scons_eq])

paulson [Tue, 15 Apr 1997 10:15:09 +0200] rev 2948

Moved expand_case_tac from Auth/Message.ML to simpdata.ML

wenzelm [Mon, 14 Apr 1997 10:28:21 +0200] rev 2947

no longer includes ~/.emacs;

wenzelm [Sun, 13 Apr 1997 19:16:25 +0200] rev 2946

fixed file name;

wenzelm [Sun, 13 Apr 1997 19:15:07 +0200] rev 2945

GENERATED TEXT;

wenzelm [Sun, 13 Apr 1997 19:12:37 +0200] rev 2944

tuned format;

wenzelm [Sun, 13 Apr 1997 19:11:32 +0200] rev 2943

GENERATED TEXT;

wenzelm [Sun, 13 Apr 1997 19:10:54 +0200] rev 2942

GENERATED TEXT;

wenzelm [Sun, 13 Apr 1997 19:10:27 +0200] rev 2941

fixencoding - fix references to isabelle font encoding;

isabelle