Fri, 07 Jul 2000 21:51:52 +0200 inter_sort: keep normal!
wenzelm [Fri, 07 Jul 2000 21:51:52 +0200] rev 9281
inter_sort: keep normal!
Fri, 07 Jul 2000 18:29:34 +0200 Tightened up check of types in constant defs.
nipkow [Fri, 07 Jul 2000 18:29:34 +0200] rev 9280
Tightened up check of types in constant defs.
Fri, 07 Jul 2000 18:27:47 +0200 added type classes to constant's type
nipkow [Fri, 07 Jul 2000 18:27:47 +0200] rev 9279
added type classes to constant's type
Fri, 07 Jul 2000 17:15:17 +0200 skp; le;
bauerg [Fri, 07 Jul 2000 17:15:17 +0200] rev 9278
skp; le;
Fri, 07 Jul 2000 16:48:12 +0200 added dependency caveat
oheimb [Fri, 07 Jul 2000 16:48:12 +0200] rev 9277
added dependency caveat
Fri, 07 Jul 2000 16:47:56 +0200 added dependency caveat
oheimb [Fri, 07 Jul 2000 16:47:56 +0200] rev 9276
added dependency caveat
Fri, 07 Jul 2000 16:46:02 +0200 added IMP/Examples.ML dependence
oheimb [Fri, 07 Jul 2000 16:46:02 +0200] rev 9275
added IMP/Examples.ML dependence
Thu, 06 Jul 2000 18:12:17 +0200 tuned msgs;
wenzelm [Thu, 06 Jul 2000 18:12:17 +0200] rev 9274
tuned msgs;
Thu, 06 Jul 2000 18:11:48 +0200 allow comment in more commands;
wenzelm [Thu, 06 Jul 2000 18:11:48 +0200] rev 9273
allow comment in more commands;
Thu, 06 Jul 2000 18:11:15 +0200 Isabelle99-1;
wenzelm [Thu, 06 Jul 2000 18:11:15 +0200] rev 9272
Isabelle99-1;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip