isabelle: Changelog

berghofe [Thu, 10 May 2007 15:49:31 +0200] rev 22922

Name of ML function "not" is now qualified in order to avoid clashes with names of constants introduced by the user.

haftmann [Thu, 10 May 2007 10:22:17 +0200] rev 22921

consts in consts_code Isar commands are now referred to by usual term syntax

haftmann [Thu, 10 May 2007 10:21:50 +0200] rev 22920

size [nat] is identity

haftmann [Thu, 10 May 2007 10:21:48 +0200] rev 22919

explicit import of Datatype.thy due to hook bootstrap problem

haftmann [Thu, 10 May 2007 10:21:47 +0200] rev 22918

localized Sup/Inf

haftmann [Thu, 10 May 2007 10:21:46 +0200] rev 22917

localized Min/Max

haftmann [Thu, 10 May 2007 10:21:44 +0200] rev 22916

tuned

huffman [Thu, 10 May 2007 04:06:56 +0200] rev 22915

fix proofs

isabelle