Fri, 16 Feb 2001 00:36:21 +0100 tuned;
wenzelm [Fri, 16 Feb 2001 00:36:21 +0100] rev 11146
tuned;
Thu, 15 Feb 2001 17:18:54 +0100 eliminate get_def; Isabelle99-2
wenzelm [Thu, 15 Feb 2001 17:18:54 +0100] rev 11145
eliminate get_def;
Thu, 15 Feb 2001 16:12:27 +0100 tuned;
wenzelm [Thu, 15 Feb 2001 16:12:27 +0100] rev 11144
tuned;
Thu, 15 Feb 2001 16:07:57 +0100 Ord.thy/.ML converted to Isar
oheimb [Thu, 15 Feb 2001 16:07:57 +0100] rev 11143
Ord.thy/.ML converted to Isar
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip