src/HOL/MicroJava/J/JListExample.thy
Tue, 26 Feb 2002 15:45:32 +0100 kleing introduces SystemClasses and BVExample
Thu, 21 Feb 2002 09:54:08 +0100 kleing new document
Thu, 20 Dec 2001 17:08:55 +0100 berghofe Eliminated "query" syntax.
Thu, 20 Dec 2001 14:59:09 +0100 berghofe cast_ok no longer disabled (thanks to improvement of code generator).
Mon, 10 Dec 2001 15:24:48 +0100 berghofe Example for code generator.
less more (0) tip