| Thu, 06 Apr 1995 11:02:55 +0200 | lcp | Set up for new hyp_subst_tac. | changeset | files |
| Thu, 06 Apr 1995 11:01:13 +0200 | lcp | Added Id: line | changeset | files |
| Thu, 06 Apr 1995 10:58:56 +0200 | lcp | Fixed typo. | changeset | files |
| Thu, 06 Apr 1995 10:56:39 +0200 | lcp | Simplified some proofs and made them work for new hyp_subst_tac. | changeset | files |
| Thu, 06 Apr 1995 10:55:06 +0200 | lcp | Now sets loadpath. | changeset | files |
| Thu, 06 Apr 1995 10:53:21 +0200 | lcp | Gave tighter priorities to SUM and PROD to reduce ambiguities. | changeset | files |
| Thu, 06 Apr 1995 10:51:42 +0200 | lcp | Gave tighter priorities to if, napply and the let-forms to | changeset | files |