isabelle: Changelog

paulson [Thu, 11 Jan 2007 16:53:12 +0100] rev 22059

well-founded relations for the integers

webertj [Thu, 11 Jan 2007 01:34:23 +0100] rev 22058

updated to mention the automatic unfolding of constants

wenzelm [Wed, 10 Jan 2007 20:17:26 +0100] rev 22057

removed NameSpace.split -- use qualifier/base instead;

wenzelm [Wed, 10 Jan 2007 20:16:52 +0100] rev 22056

fixed exit: proper type check of state; tuned signature;

webertj [Wed, 10 Jan 2007 19:19:24 +0100] rev 22055

tuned

webertj [Wed, 10 Jan 2007 19:18:29 +0100] rev 22054

minor comment change

webertj [Wed, 10 Jan 2007 19:17:52 +0100] rev 22053

no unfolding necessary anymore (refute does that automatically now)

haftmann [Wed, 10 Jan 2007 09:28:24 +0100] rev 22052

improved case patterns

haftmann [Wed, 10 Jan 2007 08:58:35 +0100] rev 22051

added undefined in cases

haftmann [Tue, 09 Jan 2007 19:09:01 +0100] rev 22050

named preprocessorts

isabelle