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 |