1997-04-17 nipkow [Thu, 17 Apr 1997 17:54:21 +0200] rev 2973
Added ability to have case expressions involving tuples. (via translation)
src/HOL/Prod.thy

1997-04-17 wenzelm [Thu, 17 Apr 1997 14:41:56 +0200] rev 2972
tuned;
etc/isa-settings.el

1997-04-17 wenzelm [Thu, 17 Apr 1997 14:41:26 +0200] rev 2971
*** empty log message ***
NEWS

1997-04-17 wenzelm [Thu, 17 Apr 1997 14:41:08 +0200] rev 2970
added fixencoding note;
Admin/makedist

1997-04-17 wenzelm [Thu, 17 Apr 1997 10:40:26 +0200] rev 2969
fixed ISAMODE_HOME;
etc/settings

1997-04-17 wenzelm [Thu, 17 Apr 1997 10:30:57 +0200] rev 2968
eliminated PLATFORM;
bin/isabelle etc/settings etc/user-settings.sample lib/Tools/findlogics lib/scripts/getsettings lib/scripts/isa-emacs

1997-04-16 wenzelm [Wed, 16 Apr 1997 18:53:36 +0200] rev 2967
removed lceil, rceil, lfloor, rfloor;
lib/encodings/isabelle-0 lib/scripts/symbolinput.pl src/Pure/Syntax/symbol_font.ML

1997-04-16 wenzelm [Wed, 16 Apr 1997 18:51:03 +0200] rev 2966
fixed perl path (for sunbroys);
Admin/fixencoding

1997-04-16 wenzelm [Wed, 16 Apr 1997 18:46:01 +0200] rev 2965
improved translations for subset symbols syntax: constraints;
src/HOL/Set.thy

1997-04-16 wenzelm [Wed, 16 Apr 1997 18:25:46 +0200] rev 2964
moved classes / sorts to sorts.ML;
moved (and reimplemented) type inference to type_infer.ML;
cleaned up type unification;
misc cleanup and tuning;
src/Pure/type.ML