| Mon, 13 Nov 1995 12:06:57 +0100 | mueller | *** empty log message *** | changeset | files |
| Sun, 12 Nov 1995 16:29:12 +0100 | nipkow | added new arithmetic lemmas and the functions take and drop. | changeset | files |
| Sun, 12 Nov 1995 13:14:13 +0100 | nipkow | Set eta_contract to true. | changeset | files |
| Fri, 10 Nov 1995 16:19:45 +0100 | nipkow | Literature references for MiniML. | changeset | files |
| Tue, 07 Nov 1995 13:15:43 +0100 | clasohm | changed for new naming style of HTML files (leading ".") | changeset | files |
| Tue, 07 Nov 1995 13:15:04 +0100 | clasohm | added leading "." to HTML filenames | changeset | files |
| Tue, 07 Nov 1995 12:58:17 +0100 | clasohm | removed quotes from types in consts section | changeset | files |