| 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 |
| Mon, 29 Oct 2007 16:13:41 +0100 | wenzelm | qualified Proofterm.proofs; | changeset | files |
| Mon, 29 Oct 2007 10:37:09 +0100 | krauss | fun/function: generate case names for induction rules | changeset | files |
| Sun, 28 Oct 2007 13:18:00 +0100 | wenzelm | append/member: more light-weight way to declare authentic syntax; | changeset | files |