| Thu, 25 Jun 2009 13:25:35 +0200 |
wenzelm |
renamed IsabelleProcess to Isabelle_Process;
|
changeset |
files
|
| 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
|
| 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
|
| Tue, 23 Jun 2009 18:10:39 +0200 |
haftmann |
corrected handling of free variables in arguments
|
changeset |
files
|
| Tue, 23 Jun 2009 17:17:07 +0200 |
haftmann |
tuned proof
|
changeset |
files
|
| Tue, 23 Jun 2009 16:27:12 +0200 |
haftmann |
tuned interfaces of datatype module
|
changeset |
files
|
| Tue, 23 Jun 2009 15:32:34 +0200 |
haftmann |
add_datatypes does not yield particular rules any longer
|
changeset |
files
|
| Tue, 23 Jun 2009 14:51:21 +0200 |
haftmann |
merged
|
changeset |
files
|