isabelle: Changelog

wenzelm [Thu, 17 Apr 1997 14:41:08 +0200] rev 2970

added fixencoding note;

wenzelm [Thu, 17 Apr 1997 10:40:26 +0200] rev 2969

fixed ISAMODE_HOME;

wenzelm [Thu, 17 Apr 1997 10:30:57 +0200] rev 2968

eliminated PLATFORM;

wenzelm [Wed, 16 Apr 1997 18:53:36 +0200] rev 2967

removed lceil, rceil, lfloor, rfloor;

wenzelm [Wed, 16 Apr 1997 18:51:03 +0200] rev 2966

fixed perl path (for sunbroys);

wenzelm [Wed, 16 Apr 1997 18:46:01 +0200] rev 2965

improved translations for subset symbols syntax: constraints;

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;

wenzelm [Wed, 16 Apr 1997 18:23:25 +0200] rev 2963

renamed subclass to classrel; tune type checking error msgs;

wenzelm [Wed, 16 Apr 1997 18:22:10 +0200] rev 2962

Sorts.str_of_sort;

wenzelm [Wed, 16 Apr 1997 18:21:00 +0200] rev 2961

Sorts.str_of_arity;

isabelle