| Tue, 11 Jul 2006 12:16:54 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | changeset | files |
| Tue, 11 Jul 2006 12:16:52 +0200 | wenzelm | let_simproc: activate Variable.import; | changeset | files |
| Tue, 11 Jul 2006 11:19:28 +0200 | ballarin | Witness theorems of interpretations now transfered to current theory. | changeset | files |
| 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 |