src/HOL/MicroJava/ROOT.ML
2007-07-30 wenzelm 2007-07-30 simultaneous use_thys; tuned;
2002-10-23 streckem 2002-10-23 Added compiler
2002-10-08 kleing 2002-10-08 defensive machine
2002-06-15 kleing 2002-06-15 LBV instantiated for JVM
2002-03-27 kleing 2002-03-27 added lbv completeness
2002-03-20 kleing 2002-03-20 small refactoring for lbv with semilattices
2002-02-28 kleing 2002-02-28 included LBVSpec again
2002-02-26 kleing 2002-02-26 introduces SystemClasses and BVExample
2002-02-21 kleing 2002-02-21 new document
2002-01-17 kleing 2002-01-17 fixed
2002-01-15 kleing 2002-01-15 use exec_lub instead of some_lub
2001-12-17 kleing 2001-12-17 fixed JVMListExample
2001-12-16 kleing 2001-12-16 temporarily removed JVMListExample
2001-12-10 berghofe 2001-12-10 Added examples for code generator.
2001-02-05 oheimb 2001-02-05 improved document (added headers etc)
2001-02-01 oheimb 2001-02-01 converted to Isar, simplifying recursion on class hierarchy
2000-12-07 kleing 2000-12-07 removed Digest (temporarily, not up to date) added theory JVM
2000-12-06 oheimb 2000-12-06 simplified interactive handling
2000-09-21 kleing 2000-09-21 Digest.thy as toplevel theory
2000-08-11 kleing 2000-08-11 added LBV
2000-08-08 oheimb 2000-08-08 added Example
2000-07-04 oheimb 2000-07-04 added BinOp
2000-06-26 wenzelm 2000-06-26 use with_paths;
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-11-11 nipkow 1999-11-11 *** empty log message ***