| Wed, 23 Jan 2008 22:57:09 +0100 | wenzelm | tuned proofs; | changeset | files |
| Wed, 23 Jan 2008 22:57:07 +0100 | wenzelm | recovered #der example without using val it; | changeset | files |
| Wed, 23 Jan 2008 09:57:55 +0100 | haftmann | yet another OCaml fix | changeset | files |
| Tue, 22 Jan 2008 23:07:25 +0100 | haftmann | tuned | changeset | files |
| Tue, 22 Jan 2008 23:07:24 +0100 | haftmann | added map_split | changeset | files |
| Tue, 22 Jan 2008 23:07:21 +0100 | haftmann | added class semiring_div | changeset | files |
| Tue, 22 Jan 2008 23:06:58 +0100 | haftmann | fixed OCaml | changeset | files |
| Tue, 22 Jan 2008 11:37:28 +0100 | haftmann | avoid 'it' in ML expressions | changeset | files |
| Mon, 21 Jan 2008 14:18:49 +0100 | berghofe | Removed Logic.auto_rename. | changeset | files |
| Mon, 21 Jan 2008 08:45:36 +0100 | haftmann | Efficient_Nat streamlined and improved | changeset | files |
| Mon, 21 Jan 2008 08:43:37 +0100 | haftmann | tuned proof | changeset | files |
| Mon, 21 Jan 2008 08:43:36 +0100 | haftmann | non-negative numerals | changeset | files |
| Mon, 21 Jan 2008 08:43:35 +0100 | haftmann | tuned | changeset | files |
| Mon, 21 Jan 2008 08:43:34 +0100 | haftmann | more lemmas | changeset | files |
| Mon, 21 Jan 2008 08:43:33 +0100 | haftmann | proper meaningful examples | changeset | files |