Tue, 12 Jul 1994 18:20:39 +0200 | lcp | Improved error checking | changeset | files |
Tue, 12 Jul 1994 18:05:03 +0200 | lcp | new cardinal arithmetic developments | changeset | files |
Tue, 12 Jul 1994 14:26:04 +0200 | clasohm | removed flatten_typ and replaced add_consts by add_consts_i | changeset | files |
Tue, 12 Jul 1994 12:49:15 +0200 | nipkow | Corrected HOL.tex | changeset | files |
Tue, 12 Jul 1994 09:28:00 +0200 | nipkow | added datatype section | changeset | files |
Tue, 12 Jul 1994 09:14:04 +0200 | nipkow | included rail.sty | changeset | files |