Mon, 15 Aug 1994 16:12:35 +0200 | nipkow | Proof beautification | changeset | files |
Fri, 12 Aug 1994 18:45:33 +0200 | lcp | for infinite datatypes with arbitrary index sets | changeset | files |
Fri, 12 Aug 1994 12:51:34 +0200 | lcp | installation of new inductive/datatype sections | changeset | files |
Fri, 12 Aug 1994 12:28:46 +0200 | lcp | installation of new inductive/datatype sections | changeset | files |
Fri, 12 Aug 1994 11:13:23 +0200 | lcp | addition of string escapes | changeset | files |
Fri, 12 Aug 1994 11:01:18 +0200 | lcp | updated reference to parents | changeset | files |