Mon, 29 Oct 2007 16:46:22 +0100 | haftmann | added nbe | changeset | files |
Mon, 29 Oct 2007 16:13:47 +0100 | wenzelm | test_proof: do not change Proofterm.proofs here (not thread-safe); | changeset | files |
Mon, 29 Oct 2007 16:13:46 +0100 | wenzelm | improved notion of 'nicer' fact names (observe some name space properties); | changeset | files |