isabelle: Changelog

huffman [Sat, 16 Dec 2006 20:23:45 +0100] rev 21865

moved several theorems; rearranged theory dependencies

huffman [Sat, 16 Dec 2006 19:37:07 +0100] rev 21864

hypreal_of_hypnat abbreviates more general of_hypnat

webertj [Fri, 15 Dec 2006 17:51:07 +0100] rev 21863

tracing instead of warning

wenzelm [Fri, 15 Dec 2006 00:08:50 +0100] rev 21862

updated;

wenzelm [Fri, 15 Dec 2006 00:08:16 +0100] rev 21861

removed obsolete assert;

wenzelm [Fri, 15 Dec 2006 00:08:15 +0100] rev 21860

renamed LocalTheory.assert to affirm;

wenzelm [Fri, 15 Dec 2006 00:08:14 +0100] rev 21859

tuned -- accomodate Alice;

wenzelm [Fri, 15 Dec 2006 00:08:06 +0100] rev 21858

avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;

huffman [Thu, 14 Dec 2006 22:19:39 +0100] rev 21857

remove Hyperreal/fuf.ML

huffman [Thu, 14 Dec 2006 22:18:08 +0100] rev 21856

remove commented section

isabelle