Wed, 28 Feb 1996 11:47:30 +0100 |
paulson |
imp_elim and swap are now stored in thm database
|
changeset |
files
|
Wed, 28 Feb 1996 11:46:08 +0100 |
paulson |
changed prove_goal to qed_goal
|
changeset |
files
|
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
|