| Tue, 30 Oct 2007 08:45:55 +0100 | haftmann | simplified proof | changeset | files |
| Tue, 30 Oct 2007 08:45:54 +0100 | haftmann | continued localization | changeset | files |
| Mon, 29 Oct 2007 17:08:01 +0100 | haftmann | fixed typo | changeset | files |
| 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 |
| Mon, 29 Oct 2007 16:13:44 +0100 | wenzelm | export is_hidden; | changeset | files |
| Mon, 29 Oct 2007 16:13:43 +0100 | wenzelm | added bool_ord; | changeset | files |