2001-12-14 added type_env function;
wenzelm [Fri, 14 Dec 2001 11:51:52 +0100] rev 12496
added type_env function; let norm_type_XXX work directly with type env component;
2001-12-14 export add_tvarsT etc.;
wenzelm [Fri, 14 Dec 2001 11:51:01 +0100] rev 12495
export add_tvarsT etc.;
2001-12-14 changed Type.varify;
wenzelm [Fri, 14 Dec 2001 11:50:38 +0100] rev 12494
changed Type.varify;
2001-12-14 Term.invent_type_names;
wenzelm [Fri, 14 Dec 2001 11:50:19 +0100] rev 12493
Term.invent_type_names;
2001-12-13 *** empty log message ***
nipkow [Thu, 13 Dec 2001 19:05:10 +0100] rev 12492
*** empty log message ***
2001-12-13 *** empty log message ***
nipkow [Thu, 13 Dec 2001 17:57:55 +0100] rev 12491
*** empty log message ***
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip