replaced by document (cannot maintain both);
Tue, 26 Sep 2000 17:34:33 +0200
changeset 10086 5245fa2ca8d3
parent 10085 a9704bf90031
child 10087 4dc7edfb0b5f
replaced by document (cannot maintain both);
--- a/src/HOL/MicroJava/README.html	Tue Sep 26 17:07:28 2000 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-<H1>Micro Java</H1>
-This theory defines Micro Java, a small fragment of the programming language
-Java (essentially just classes), together with a corresponding virtual
-machine and a specification of its bytecode verifier. It is shown that Micro
-Java and the given specification of the bytecode verifier are type safe.
-<DD>Micro Java
-<DD>The virtual machine
-<DD>The bytecode verifier
-The theory was developed by David von Oheimb, Cornelia Pusch and Tobias
-Nipkow as part of the DFG-funded project
-<a href="">Bali</a>. A publication is
-<a href="">available</a>.