| Tue, 14 Mar 1995 09:47:28 +0100 | nipkow | added exit 1 | changeset | files |
| Mon, 13 Mar 1995 09:42:50 +0100 | nipkow | Removed superfluous type constraint | changeset | files |
| Mon, 13 Mar 1995 09:38:10 +0100 | nipkow | Changed treatment of during type inference internally generated type | changeset | files |
| Sat, 11 Mar 1995 17:46:14 +0100 | nipkow | Added type constraints to enforce correct choice of variable names. | changeset | files |
| Sat, 11 Mar 1995 11:58:21 +0100 | lcp | Put freeze into the signature TACTIC for export | changeset | files |
| Fri, 10 Mar 1995 10:20:18 +0100 | lcp | Removed "localize"; instead, proofs refer to their own | changeset | files |
| Thu, 09 Mar 1995 10:38:30 +0100 | lcp | Commented isof(c,t) | changeset | files |