Thu, 13 Apr 1995 15:38:07 +0200 | lcp | New example by Ole Rasmussen | changeset | files |
Thu, 13 Apr 1995 15:13:27 +0200 | lcp | Simplified some proofs and made them work for new hyp_subst_tac. | changeset | files |
Thu, 13 Apr 1995 15:08:39 +0200 | lcp | expandshort | changeset | files |