Thu, 23 Jun 1994 17:52:58 +0200 | lcp | minor tidying up (ordered rewriting in Integ.ML) | changeset | files |
Thu, 23 Jun 1994 17:38:12 +0200 | lcp | modifications for cardinal arithmetic | changeset | files |
Thu, 23 Jun 1994 16:44:57 +0200 | lcp | Sara\'s perl script for renaming theory files | changeset | files |
Tue, 21 Jun 1994 17:20:34 +0200 | lcp | Addition of cardinals and order types, various tidying | changeset | files |
Tue, 21 Jun 1994 16:26:34 +0200 | lcp | Various updates and tidying | changeset | files |
Tue, 21 Jun 1994 11:55:36 +0200 | nipkow | improved error msg | changeset | files |