wenzelm [Mon, 25 Sep 2000 16:31:50 +0200] rev 10071
tuned replacements;
wenzelm [Mon, 25 Sep 2000 12:11:45 +0200] rev 10070
tuned auto paths;
kleing [Mon, 25 Sep 2000 12:08:49 +0200] rev 10069
untabified for HTML
wenzelm [Mon, 25 Sep 2000 12:04:10 +0200] rev 10068
include "Isabelle" link;
paulson [Sat, 23 Sep 2000 16:12:07 +0200] rev 10067
tidied, removing obsolete "goal" commands
paulson [Sat, 23 Sep 2000 16:11:38 +0200] rev 10066
new theorems and comment
paulson [Sat, 23 Sep 2000 16:08:23 +0200] rev 10065
renaming the inverse image operator in HOL
paulson [Sat, 23 Sep 2000 16:02:01 +0200] rev 10064
added compatibility relation: AllowedActs, Allowed, ok,
OK and changes to "guarantees", etc.
wenzelm [Fri, 22 Sep 2000 17:25:09 +0200] rev 10063
tuned comments;
wenzelm [Fri, 22 Sep 2000 17:24:36 +0200] rev 10062
AddXIs [equal_intr_rule];
kleing [Fri, 22 Sep 2000 16:28:53 +0200] rev 10061
added HTML syntax; added spaces in normal syntax for better documents
kleing [Fri, 22 Sep 2000 16:28:04 +0200] rev 10060
added HTML syntax
kleing [Fri, 22 Sep 2000 13:16:24 +0200] rev 10059
removed JVM/Store.ML, added theorem Digest in MicroJava
kleing [Fri, 22 Sep 2000 13:13:15 +0200] rev 10058
lemma now in Store.thy
kleing [Fri, 22 Sep 2000 13:12:19 +0200] rev 10057
converted to Isar, tuned
kleing [Thu, 21 Sep 2000 19:25:57 +0200] rev 10056
tuned spacing for document generation
fleuriot [Thu, 21 Sep 2000 18:58:25 +0200] rev 10055
*** empty log message ***
wenzelm [Thu, 21 Sep 2000 18:47:18 +0200] rev 10054
renamed to Records.thy;
wenzelm [Thu, 21 Sep 2000 18:33:48 +0200] rev 10053
improved \isachartilde for non-tt styles;
wenzelm [Thu, 21 Sep 2000 15:58:13 +0200] rev 10052
renamed HOL/ex/Points to HOL/ex/Records;
kleing [Thu, 21 Sep 2000 14:55:46 +0200] rev 10051
added height="100%" to stretch page to whole browser window
kleing [Thu, 21 Sep 2000 14:54:24 +0200] rev 10050
added headline, "quick download", and mailing list archive
kleing [Thu, 21 Sep 2000 14:31:51 +0200] rev 10049
added height="100%" to stretch page to whole browser window
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
wenzelm [Wed, 20 Sep 2000 21:20:41 +0200] rev 10041
removed dead code;
wenzelm [Wed, 20 Sep 2000 21:20:26 +0200] rev 10040
added "install" target;