wenzelm [Thu, 20 Dec 2001 21:11:04 +0100] rev 12567
turned into proper Isabelle document;
nipkow [Thu, 20 Dec 2001 18:22:44 +0100] rev 12566
renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl
berghofe [Thu, 20 Dec 2001 17:08:55 +0100] rev 12565
Eliminated "query" syntax.
nipkow [Thu, 20 Dec 2001 16:53:51 +0100] rev 12564
*** empty log message ***
paulson [Thu, 20 Dec 2001 15:57:29 +0100] rev 12563
ZF/Main
berghofe [Thu, 20 Dec 2001 15:23:42 +0100] rev 12562
Fixed bug in function add.
paulson [Thu, 20 Dec 2001 15:20:07 +0100] rev 12561
new hfootref macro for Web links
paulson [Thu, 20 Dec 2001 15:17:48 +0100] rev 12560
converted some ZF/Induct examples to Isar
berghofe [Thu, 20 Dec 2001 15:00:02 +0100] rev 12559
cast_ok and match_exception_entry no longer disabled (thanks to
improvement of code generator).
berghofe [Thu, 20 Dec 2001 14:59:09 +0100] rev 12558
cast_ok no longer disabled (thanks to improvement of code generator).