| Mon, 20 Jun 1994 14:52:40 +0200 | clasohm | added prefix to name of induct axiom | file | diff | annotate |
| Fri, 17 Jun 1994 14:15:38 +0200 | clasohm | datatypes must now be defined using a thy file section | file | diff | annotate |
| Tue, 22 Mar 1994 19:54:55 +0100 | nipkow | new field "simps" added | file | diff | annotate |
| Fri, 18 Mar 1994 20:33:32 +0100 | nipkow | ML-like datatype decalaration facility. Axiomatic. | file | diff | annotate |