wenzelm [Thu, 21 Sep 2000 12:26:37 +0200] rev 10048
*** empty log message ***
kleing [Thu, 21 Sep 2000 12:25:48 +0200] rev 10047
Digest.thy as toplevel theory
kleing [Thu, 21 Sep 2000 12:25:07 +0200] rev 10046
theorem digest of all MicroJava theorems, theories in alphabetical order
may also serve as toplevel file that includes all other theories
fleuriot [Thu, 21 Sep 2000 12:17:11 +0200] rev 10045
New theories: construction of hypernaturals, nonstandard extensions,
and some nonstandard analysis.
kleing [Thu, 21 Sep 2000 12:13:36 +0200] rev 10044
tuned, added lightweight BV to abstract, added Bali link
fleuriot [Thu, 21 Sep 2000 12:11:38 +0200] rev 10043
Updated Files with new theorems
kleing [Thu, 21 Sep 2000 10:42:49 +0200] rev 10042
unsymbolized