Tue, 21 May 1996 13:42:53 +0200 | berghofe | Added additional parent theory equalities because some proofs in | changeset | files |
Tue, 21 May 1996 13:39:31 +0200 | berghofe | Replaced fast_tac by Fast_tac (which uses default claset) | changeset | files |
Tue, 21 May 1996 10:52:26 +0200 | nipkow | Corrected comment wrt I | changeset | files |