| 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 |
| Mon, 13 Mar 2000 12:25:16 +0100 | wenzelm | add_thms, add_axioms, add_defs: return theorems as well; | changeset | files |