| 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 |