| Sat, 17 Sep 2005 18:11:24 +0200 | wenzelm | added quickcheck_params (from Main.thy); | changeset | files |
| Sat, 17 Sep 2005 18:11:23 +0200 | wenzelm | removed spurious PolyML.exception_trace; | changeset | files |
| Sat, 17 Sep 2005 18:11:22 +0200 | wenzelm | moved setup ResAxioms.clause_setup to Main.thy (it refers to all previous theories); | changeset | files |
| Sat, 17 Sep 2005 18:11:21 +0200 | wenzelm | minor cleanup, moved stuff in its proper place; | changeset | files |