| Thu, 25 Jun 2009 13:24:45 +0200 | wenzelm | renamed IsabelleSystem to Isabelle_System; | changeset | files |
| Wed, 24 Jun 2009 21:46:54 +0200 | wenzelm | standard naming conventions for session and theories; | changeset | files |
| 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 |