| Mon, 26 May 1997 14:54:24 +0200 |
slotosch |
remoded ccc1
|
file |
diff |
annotate
|
| Sun, 25 May 1997 16:17:09 +0200 |
slotosch |
Eliminated the prediates flat,chfin
|
file |
diff |
annotate
|
| Thu, 15 May 1997 11:35:26 +0200 |
wenzelm |
remove Witness.thy;
|
file |
diff |
annotate
|
| Fri, 25 Apr 1997 11:11:52 +0200 |
oheimb |
removed one blank at end of line 37
|
file |
diff |
annotate
|
| Thu, 24 Apr 1997 10:40:01 +0200 |
oheimb |
added dependencies on ax_ops/*.ML and domain/*.ML
|
file |
diff |
annotate
|
| Mon, 24 Feb 1997 16:12:24 +0100 |
oheimb |
removed explicit_domains/, which is now covered by ex/
|
file |
diff |
annotate
|
| Mon, 17 Feb 1997 10:57:11 +0100 |
slotosch |
Changes of HOLCF from Oscar Slotosch:
|
file |
diff |
annotate
|
| Fri, 31 Jan 1997 16:57:45 +0100 |
oheimb |
reflecting the changes made in HOLCF/ex and HOLCF/explicit_domains
|
file |
diff |
annotate
|
| Wed, 18 Dec 1996 15:16:13 +0100 |
oheimb |
removed Holcfb.thy and Holcfb.ML, moving classical3 to HOL.ML as classical2
|
file |
diff |
annotate
|
| Fri, 29 Nov 1996 12:15:33 +0100 |
oheimb |
renamed is_flat to flat,
|
file |
diff |
annotate
|
| Wed, 27 Nov 1996 10:31:05 +0100 |
paulson |
Makefile improvements by Thomas Santen and Stephan Herrmann
|
file |
diff |
annotate
|
| Mon, 21 Oct 1996 11:18:34 +0200 |
paulson |
ISABELLECOMP may now have a leading pathname
|
file |
diff |
annotate
|
| Tue, 15 Oct 1996 10:46:42 +0200 |
paulson |
Removed extraneous spaces from all Makefiles
|
file |
diff |
annotate
|
| Wed, 25 Sep 1996 11:10:31 +0200 |
paulson |
Calls discgarb -c to realize dramatic space savings!
|
file |
diff |
annotate
|
| Tue, 23 Apr 1996 17:04:23 +0200 |
oheimb |
adapted several proofs
|
file |
diff |
annotate
|