isabelle: Changelog

paulson [Thu, 14 Mar 2002 16:48:54 +0100] rev 13059

removed ex/set.ML

paulson [Thu, 14 Mar 2002 16:48:34 +0100] rev 13058

converted theory "set" to Isar and added some SET-VAR examples

kleing [Thu, 14 Mar 2002 16:00:29 +0100] rev 13057

increased treshold for "this expression could be extremely ambigous" warning

kleing [Tue, 12 Mar 2002 19:20:23 +0100] rev 13056

workaround for "ins" bug in sml/nj + code generator

nipkow [Tue, 12 Mar 2002 15:18:45 +0100] rev 13055

*** empty log message ***

wenzelm [Mon, 11 Mar 2002 20:59:12 +0100] rev 13054

added Berhard Rumpe, Farhad Mehta;

wenzelm [Sun, 10 Mar 2002 21:46:27 +0100] rev 13053

tuned;

kleing [Sat, 09 Mar 2002 20:39:46 +0100] rev 13052

canonical start state

kleing [Sat, 09 Mar 2002 20:39:19 +0100] rev 13051

in wellformed programs, exceptions are classes

wenzelm [Fri, 08 Mar 2002 20:39:39 +0100] rev 13050

tuned;

isabelle