Mon, 13 Mar 2000 13:13:46 +0100 | nipkow | *** empty log message *** | changeset | files |
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 |
Mon, 13 Mar 2000 12:42:05 +0100 | paulson | fixed the goal statement of sorted_qsort | changeset | files |
Mon, 13 Mar 2000 12:25:52 +0100 | wenzelm | adapted to new PureThy.add_thms etc.; | changeset | files |