| 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 |