| Wed, 24 Jun 2009 21:28:02 +0200 | wenzelm | renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported); | changeset | files |
| Wed, 24 Jun 2009 20:52:49 +0200 | wenzelm | proper ML interface set_full_types; | changeset | files |
| Wed, 24 Jun 2009 17:50:49 +0200 | nipkow | Replaced Suc_remove by Suc_eq_plus1 | changeset | files |
| Wed, 24 Jun 2009 15:51:07 +0200 | nipkow | New ATP option: full types | changeset | files |
| Wed, 24 Jun 2009 09:41:14 +0200 | nipkow | corrected and unified thm names | changeset | files |
| Tue, 23 Jun 2009 21:07:39 +0200 | haftmann | merged | changeset | files |
| Tue, 23 Jun 2009 21:05:59 +0200 | haftmann | merged | changeset | files |
| Tue, 23 Jun 2009 21:03:31 +0200 | haftmann | Datatype.get_all | changeset | files |