Sun, 21 May 2000 21:48:39 +0200 new Isar version;
wenzelm [Sun, 21 May 2000 21:48:39 +0200] rev 8903
new Isar version;
Sun, 21 May 2000 14:49:28 +0200 replaced {{ }} by { };
wenzelm [Sun, 21 May 2000 14:49:28 +0200] rev 8902
replaced {{ }} by { };
Sun, 21 May 2000 14:44:01 +0200 cite isabelle-axclass;
wenzelm [Sun, 21 May 2000 14:44:01 +0200] rev 8901
cite isabelle-axclass;
Sun, 21 May 2000 14:42:35 +0200 improved \BG, \EN;
wenzelm [Sun, 21 May 2000 14:42:35 +0200] rev 8900
improved \BG, \EN;
Sun, 21 May 2000 14:37:17 +0200 removed is_type_abbr;
wenzelm [Sun, 21 May 2000 14:37:17 +0200] rev 8899
removed is_type_abbr;
Sun, 21 May 2000 14:36:29 +0200 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;
Sun, 21 May 2000 14:35:27 +0200 adapted to inner syntax of sorts;
wenzelm [Sun, 21 May 2000 14:35:27 +0200] rev 8897
adapted to inner syntax of sorts;
Sun, 21 May 2000 14:33:46 +0200 replaced {{ }} by { };
wenzelm [Sun, 21 May 2000 14:33:46 +0200] rev 8896
replaced {{ }} by { };
Sun, 21 May 2000 14:32:47 +0200 added sort_of_term;
wenzelm [Sun, 21 May 2000 14:32:47 +0200] rev 8895
added sort_of_term; export sortT;
Sun, 21 May 2000 14:31:41 +0200 added read_sort;
wenzelm [Sun, 21 May 2000 14:31:41 +0200] rev 8894
added read_sort;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip