nipkow [Thu, 11 Nov 1999 12:23:45 +0100] rev 8011
*** empty log message ***
wenzelm [Thu, 11 Nov 1999 11:58:51 +0100] rev 8010
with_path;
nipkow [Thu, 11 Nov 1999 11:43:14 +0100] rev 8009
Imported Conny's lemmas from MicroJava
wenzelm [Thu, 11 Nov 1999 11:29:11 +0100] rev 8008
clean target;
wenzelm [Thu, 11 Nov 1999 11:27:31 +0100] rev 8007
header;
paulson [Thu, 11 Nov 1999 10:25:29 +0100] rev 8006
tidied
paulson [Thu, 11 Nov 1999 10:25:17 +0100] rev 8005
new-style infix declaration for "image"
paulson [Thu, 11 Nov 1999 10:24:14 +0100] rev 8004
Fixed obsolete use of "op ^^"; new lemma
wenzelm [Sat, 06 Nov 1999 15:34:12 +0100] rev 8003
tuned;
paulson [Fri, 05 Nov 1999 16:41:56 +0100] rev 8002
tidied