| Tue, 11 Jul 2006 11:17:09 +0200 | ballarin | New function transfer_witness lifting Thm.transfer to witnesses. | changeset | files |
| Tue, 11 Jul 2006 00:43:54 +0200 | kleing | hex and binary numerals (contributed by Rafal Kolanski) | changeset | files |
| Mon, 10 Jul 2006 21:02:29 +0200 | webertj | minor optimization wrt. certifying terms | changeset | files |
| Sat, 08 Jul 2006 14:12:13 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 08 Jul 2006 14:01:40 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 08 Jul 2006 14:01:31 +0200 | wenzelm | updated; | changeset | files |
| Sat, 08 Jul 2006 12:54:50 +0200 | wenzelm | tuned interface; | changeset | files |