lcp [Fri, 12 Nov 1993 11:43:35 +0100] rev 115
Misc updates
lcp [Fri, 12 Nov 1993 10:41:13 +0100] rev 114
Misc updates
nipkow [Thu, 11 Nov 1993 13:24:47 +0100] rev 113
changed formatting for application
nipkow [Thu, 11 Nov 1993 13:21:59 +0100] rev 112
Changed the simplifier: if the subgoaler proves an unexpected thm, chances
are, it is an instance of the expected thm. Instead of aborting, rewriting
now fails at that point.
lcp [Thu, 11 Nov 1993 13:18:49 +0100] rev 111
Various updates for Isabelle-93
lcp [Thu, 11 Nov 1993 12:44:43 +0100] rev 110
new style file
clasohm [Thu, 11 Nov 1993 10:55:59 +0100] rev 109
adapted "Defining theories" to new use_thy
wenzelm [Thu, 11 Nov 1993 10:43:37 +0100] rev 108
replaced by current version;
wenzelm [Thu, 11 Nov 1993 10:05:17 +0100] rev 107
replaced by current version;
wenzelm [Thu, 11 Nov 1993 10:00:43 +0100] rev 106
*** empty log message ***
lcp [Wed, 10 Nov 1993 05:06:55 +0100] rev 105
Initial revision
lcp [Wed, 10 Nov 1993 05:00:57 +0100] rev 104
Initial revision
lcp [Tue, 09 Nov 1993 16:47:38 +0100] rev 103
Initial revision
lcp [Tue, 09 Nov 1993 16:32:24 +0100] rev 102
Target "test" now depends on examples files