| 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 |
| Sun, 16 Apr 1995 11:56:11 +0200 | nipkow | Fixed bug. | changeset | files |
| Sun, 16 Apr 1995 11:55:03 +0200 | nipkow | Brought in line with new organization of IOA. | changeset | files |
| Fri, 14 Apr 1995 12:21:15 +0200 | lcp | New examples directories Resid and AC | changeset | files |