isabelle: Changelog

haftmann [Mon, 18 Dec 2006 08:21:25 +0100] rev 21869

new-style oracle setup

haftmann [Mon, 18 Dec 2006 08:21:24 +0100] rev 21868

added functions tutorial

aspinall [Sun, 17 Dec 2006 22:43:50 +0100] rev 21867

Add abstraction for objtypes and documents.

huffman [Sat, 16 Dec 2006 20:27:56 +0100] rev 21866

removed Hyperreal/HyperArith.thy and Hyperreal/HyperPow.thy

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;

isabelle