| Tue, 25 Apr 1995 11:06:52 +0200 | lcp | Simple updates for compatibility with KG | changeset | files |
| Tue, 25 Apr 1995 11:01:57 +0200 | lcp | Simplified, removing needless theorems about lambda. | changeset | files |
| Tue, 25 Apr 1995 10:56:49 +0200 | lcp | Now loads the theory "Let". Could add it to FOL, but this appears to | changeset | files |
| Sat, 22 Apr 1995 13:25:31 +0200 | nipkow | HOL.thy: | changeset | files |
| Sat, 22 Apr 1995 12:21:41 +0200 | nipkow | I have modified the grammar for idts (sequences of identifiers with optional | changeset | files |
| Wed, 19 Apr 1995 19:15:29 +0200 | nipkow | Simplified proofs thanks to addss. | changeset | files |
| Sun, 16 Apr 1995 11:59:44 +0200 | nipkow | Fixed old bug in the simplifier. Term to be simplified now carries around its | changeset | files |