isabelle: Changelog

haftmann [Fri, 26 Jan 2007 09:24:35 +0100] rev 22188

adjusted manual to improved treatment of overloaded constants

nipkow [Thu, 25 Jan 2007 16:57:57 +0100] rev 22187

Allows evaluation of min/max o numerals.

haftmann [Thu, 25 Jan 2007 09:32:56 +0100] rev 22186

fixed bug for OCaml bigints

haftmann [Thu, 25 Jan 2007 09:32:51 +0100] rev 22185

tuned

haftmann [Thu, 25 Jan 2007 09:32:50 +0100] rev 22184

added explicit maintainance of coregular code theorems for overloaded constants

haftmann [Thu, 25 Jan 2007 09:32:49 +0100] rev 22183

dropped useless stuff

haftmann [Thu, 25 Jan 2007 09:32:48 +0100] rev 22182

clarified code

haftmann [Thu, 25 Jan 2007 09:32:46 +0100] rev 22181

added explicit query function for arities to subalgebra projection

haftmann [Thu, 25 Jan 2007 09:32:45 +0100] rev 22180

not importing NestedEnvironment

haftmann [Thu, 25 Jan 2007 09:32:42 +0100] rev 22179

adjusted to changes in class package

isabelle