| Tue, 11 Jul 2006 12:17:00 +0200 | wenzelm | added name.ML; | changeset | files |
| Tue, 11 Jul 2006 12:16:59 +0200 | wenzelm | Name.is_bound; | changeset | files |
| Tue, 11 Jul 2006 12:16:58 +0200 | wenzelm | removed obsolete mem_term; | changeset | files |
| Tue, 11 Jul 2006 12:16:57 +0200 | wenzelm | Name.internal; | changeset | files |
| 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 |