isabelle: Changelog

haftmann [Mon, 18 Dec 2006 08:21:28 +0100] rev 21872

whitespace fix

haftmann [Mon, 18 Dec 2006 08:21:27 +0100] rev 21871

added code generation syntax for some char combinators

haftmann [Mon, 18 Dec 2006 08:21:26 +0100] rev 21870

infix syntax for generated code for composition

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

isabelle