| Tue, 06 May 1997 15:27:35 +0200 |
fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
|
file | diff | annotate |
| Wed, 30 Apr 1997 11:58:23 +0200 |
removed (most of) IOA (see HOLCF/IOA);
|
file | diff | annotate |
| Wed, 23 Apr 1997 13:23:05 +0200 |
Added NatDef
|
file | diff | annotate |
| Fri, 18 Apr 1997 11:47:36 +0200 |
ex/LFilter is a new theory (and dependency)
|
file | diff | annotate |
| Tue, 08 Apr 1997 10:48:42 +0200 |
Dep. on Provers/nat_transitive
|
file | diff | annotate |
| Fri, 04 Apr 1997 16:04:28 +0200 |
Added Example Quot
|
file | diff | annotate |
| Fri, 04 Apr 1997 14:01:18 +0200 |
added Quot examples;
|
file | diff | annotate |
| Fri, 04 Apr 1997 11:17:05 +0200 |
Added blast.ML as a dependency
|
file | diff | annotate |
| Thu, 20 Mar 1997 11:38:58 +0100 |
improved session names;
|
file | diff | annotate |
| Thu, 20 Mar 1997 11:32:57 +0100 |
isatool usedir;
|
file | diff | annotate |
| Sat, 15 Feb 1997 17:45:08 +0100 |
cosmetic
|
file | diff | annotate |
| Wed, 12 Feb 1997 15:43:50 +0100 |
TFL: missing -q option!
|
file | diff | annotate |
| Thu, 23 Jan 1997 14:19:16 +0100 |
added AxClasses test;
|
file | diff | annotate |
| Fri, 17 Jan 1997 19:29:38 +0100 |
Added W0 and modified MiniML.
|
file | diff | annotate |
| Tue, 07 Jan 1997 09:01:18 +0100 |
minor tuning;
|
file | diff | annotate |
| Wed, 18 Dec 1996 15:56:58 +0100 |
IsaMakefile for HOL;
|
file | diff | annotate |