isabelle: Changelog

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;

wenzelm [Mon, 26 Sep 1994 17:36:10 +0100] rev 619

added init_pps;

wenzelm [Mon, 26 Sep 1994 17:35:45 +0100] rev 618

added init_database (somewhat experimental);

wenzelm [Mon, 26 Sep 1994 17:35:23 +0100] rev 617

added flag show_no_free_types: bool ref;

isabelle