Mon, 13 Mar 2000 13:11:16 +0100 | nipkow | exhaust -> cases | changeset | files |
Mon, 13 Mar 2000 12:51:10 +0100 | nipkow | exhaust_tac -> cases_tac | changeset | files |
Mon, 13 Mar 2000 12:42:41 +0100 | paulson | renamed "f" to "le" and "mset" to "multiset" | changeset | files |