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 |