isabelle: Changelog

nipkow [Mon, 10 Oct 1994 12:57:23 +0100] rev 627

README file

clasohm [Sat, 08 Oct 1994 13:45:40 +0100] rev 626

changed precedences of _constrain (i.e. "::")

nipkow [Thu, 06 Oct 1994 18:40:18 +0100] rev 625

New version

clasohm [Tue, 04 Oct 1994 13:02:16 +0100] rev 624

made major changes to grammar; added call of Type.infer_types to automatically eliminate ambiguities

clasohm [Tue, 04 Oct 1994 13:01:17 +0100] rev 623

added print_msg; added call of Type.infer_types to resolve ambiguities

nipkow [Tue, 27 Sep 1994 14:23:46 +0100] rev 622

Modified termord to take account of the Abs-Abs case.

wenzelm [Mon, 26 Sep 1994 17:56:21 +0100] rev 621

improved expand_typ (now handles TVars); slightly changed ext_tsig_abbrs; added ext_tsig_arities; removed extend_tsig; various internal changes;

wenzelm [Mon, 26 Sep 1994 17:55:45 +0100] rev 620

exported pretty_sort; various minor internal changes;

isabelle