| Tue, 30 Oct 2007 16:00:30 +0100 | haftmann | added omission | changeset | files |
| Tue, 30 Oct 2007 15:28:53 +0100 | paulson | bugfixes concerning strange theorems | changeset | files |
| Tue, 30 Oct 2007 15:13:48 +0100 | haftmann | fixed typo | changeset | files |
| Tue, 30 Oct 2007 14:39:37 +0100 | haftmann | const antiquotation clarified | changeset | files |
| Tue, 30 Oct 2007 14:39:36 +0100 | haftmann | clarified | changeset | files |
| Tue, 30 Oct 2007 14:39:35 +0100 | haftmann | handling of notation in class target | changeset | files |
| Tue, 30 Oct 2007 12:14:24 +0100 | haftmann | fixed document preparation | changeset | files |
| Tue, 30 Oct 2007 12:14:23 +0100 | haftmann | improved website integration | changeset | files |
| Tue, 30 Oct 2007 12:14:22 +0100 | haftmann | adjusted | changeset | files |
| Tue, 30 Oct 2007 10:51:35 +0100 | haftmann | split library index into templates | changeset | files |
| Tue, 30 Oct 2007 10:51:35 +0100 | haftmann | split library index into templates | changeset | files |
| Tue, 30 Oct 2007 10:41:19 +0100 | haftmann | structured | changeset | files |
| Tue, 30 Oct 2007 10:30:09 +0100 | haftmann | tidied version | changeset | files |
| 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 |
| 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 |
| Sun, 28 Oct 2007 13:16:09 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Sun, 28 Oct 2007 11:57:04 +0100 | wenzelm | safe_exit: controlled_execution; | changeset | files |
| Sat, 27 Oct 2007 18:37:33 +0200 | obua | better compute oracle | changeset | files |
| Sat, 27 Oct 2007 18:37:32 +0200 | obua | better compute oracle | changeset | files |
| Sat, 27 Oct 2007 18:37:06 +0200 | obua | adapted Compute... | changeset | files |
| Sat, 27 Oct 2007 15:53:23 +0200 | krauss | use "fun" for definition of "member" -> authentic syntax | changeset | files |