| Mon, 13 Mar 2000 13:21:39 +0100 | wenzelm | use HOLogic.Not; | changeset | files |
| Mon, 13 Mar 2000 13:20:51 +0100 | wenzelm | adapted to new PureThy.add_thms etc.; | changeset | files |
| Mon, 13 Mar 2000 13:20:13 +0100 | wenzelm | adapted to new PureThy.add_thms etc.; | changeset | files |
| Mon, 13 Mar 2000 13:19:14 +0100 | wenzelm | export vars_of; | changeset | files |
| Mon, 13 Mar 2000 13:18:59 +0100 | wenzelm | adapted to new PureThy.add_thms etc.; | changeset | files |
| Mon, 13 Mar 2000 13:17:52 +0100 | wenzelm | added Not; | changeset | files |
| Mon, 13 Mar 2000 13:16:57 +0100 | wenzelm | adapted to new PureThy.add_thms etc.; | changeset | files |
| Mon, 13 Mar 2000 13:16:43 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 13 Mar 2000 13:16:26 +0100 | wenzelm | cases: preserve order; | changeset | files |
| 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 |