Fri, 02 Feb 1996 12:05:24 +0100 | clasohm | renamed subtype.ML to typedef.ML | changeset | files |
Thu, 01 Feb 1996 16:18:52 +0100 | nipkow | documented split_all_tac in HOL. | changeset | files |
Thu, 01 Feb 1996 13:25:40 +0100 | clasohm | renamed subtype.ML to typedef.ML | changeset | files |