| Tue, 27 Feb 1996 19:08:36 +0100 |
nipkow |
Added documentation
|
changeset |
files
|
| Tue, 27 Feb 1996 18:22:47 +0100 |
nipkow |
used qed_spec_mp.
|
changeset |
files
|
| Tue, 27 Feb 1996 13:01:16 +0100 |
clasohm |
removed note about "IO exceptions" during HTML generation
|
changeset |
files
|
| Thu, 22 Feb 1996 18:35:16 +0100 |
nipkow |
Added links to documentation
|
changeset |
files
|
| Thu, 22 Feb 1996 18:25:19 +0100 |
nipkow |
Moved documentation
|
changeset |
files
|
| Thu, 22 Feb 1996 13:28:05 +0100 |
clasohm |
added cabs and crep_thm
|
changeset |
files
|
| Thu, 22 Feb 1996 12:20:34 +0100 |
clasohm |
removed mk_prop; added capply; simplified dest_abs
|
changeset |
files
|
| Mon, 19 Feb 1996 18:04:41 +0100 |
nipkow |
Introduced normalize_thm into HOL.ML
|
changeset |
files
|
| Mon, 19 Feb 1996 13:54:15 +0100 |
clasohm |
fixed bug in init_data (put was only invoked for the first date)
|
changeset |
files
|
| Mon, 19 Feb 1996 09:54:52 +0100 |
nipkow |
Added dependency on RelPow
|
changeset |
files
|
| Fri, 16 Feb 1996 18:00:47 +0100 |
paulson |
Elimination of fully-functorial style.
|
changeset |
files
|
| Fri, 16 Feb 1996 17:24:51 +0100 |
paulson |
Elimination of fully-functorial style.
|
changeset |
files
|
| Fri, 16 Feb 1996 17:18:51 +0100 |
paulson |
Elimination of fully-functorial style.
|
changeset |
files
|
| Fri, 16 Feb 1996 16:56:04 +0100 |
paulson |
Elimination of fully-functorial style.
|
changeset |
files
|