Thu, 25 Aug 1994 11:01:45 +0200 |
lcp |
INSTALLATION OF INDUCTIVE DEFINITIONS
|
file |
diff |
annotate
|
Fri, 19 Aug 1994 11:25:16 +0200 |
lcp |
HOL/Makefile, ROOT: updated for new .thy files
|
file |
diff |
annotate
|
Thu, 21 Jul 1994 10:52:00 +0200 |
lcp |
HOL/Makefile: now test depends upon SUBST_FILES
|
file |
diff |
annotate
|
Wed, 01 Jun 1994 13:24:54 +0200 |
lcp |
added test for $ISABELLEBIN=source directory, to
|
file |
diff |
annotate
|
Sun, 24 Apr 1994 11:27:38 +0200 |
clasohm |
renamed theory files
isa94
|
file |
diff |
annotate
|
Fri, 22 Apr 1994 21:23:14 +0200 |
clasohm |
renamed theory files
|
file |
diff |
annotate
|
Tue, 22 Mar 1994 18:07:45 +0100 |
nipkow |
added dependency on datatype.ML
|
file |
diff |
annotate
|
Mon, 24 Jan 1994 15:59:02 +0100 |
nipkow |
added conj_assoc to HOL_ss
|
file |
diff |
annotate
|
Tue, 09 Nov 1993 16:31:03 +0100 |
lcp |
Target "test" now depends on examples files
|
file |
diff |
annotate
|
Thu, 16 Sep 1993 12:21:07 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|