wenzelm [Sun, 21 May 2000 14:37:17 +0200] rev 8899
removed is_type_abbr;
wenzelm [Sun, 21 May 2000 14:36:29 +0200] rev 8898
removed is_type_abbr;
added certify_class, certify_sort, read_sort;
adapted to inner syntax of sorts;
wenzelm [Sun, 21 May 2000 14:35:27 +0200] rev 8897
adapted to inner syntax of sorts;
wenzelm [Sun, 21 May 2000 14:33:46 +0200] rev 8896
replaced {{ }} by { };
wenzelm [Sun, 21 May 2000 14:32:47 +0200] rev 8895
added sort_of_term;
export sortT;
wenzelm [Sun, 21 May 2000 14:31:41 +0200] rev 8894
added read_sort;
wenzelm [Sun, 21 May 2000 01:18:29 +0200] rev 8893
*** empty log message ***
wenzelm [Sun, 21 May 2000 01:17:12 +0200] rev 8892
new stuff;
wenzelm [Sun, 21 May 2000 01:16:54 +0200] rev 8891
\urlstyle{rm};
wenzelm [Sun, 21 May 2000 01:12:00 +0200] rev 8890
snapshot of new Isar'ized version;