| Wed, 25 Mar 2009 16:52:50 +0100 | wenzelm | removed misleading make_proof_body, make_oracles, make_thms, which essentially assume a *full* proof; | changeset | files |
| Wed, 25 Mar 2009 14:47:08 +0100 | wenzelm | avoid mixing of left/right associative infixes, to make it work with experimental Poly/ML 5.3 branch; | changeset | files |
| Tue, 24 Mar 2009 23:43:58 +0100 | wenzelm | simplified addPrettyPrinter setup: may pass (fn ...) directly if type constraints are omitted -- addPrettyPrinter treated as a special case internally; | changeset | files |