Mon, 16 Nov 1998 11:06:15 +0100 |
wenzelm |
renamed tac / etac to refine / then_refine;
|
changeset |
files
|
Mon, 16 Nov 1998 11:05:55 +0100 |
wenzelm |
add print_theorems;
|
changeset |
files
|
Mon, 16 Nov 1998 11:04:35 +0100 |
wenzelm |
add print_theorems;
|
changeset |
files
|
Mon, 16 Nov 1998 11:03:35 +0100 |
wenzelm |
several args parsers;
|
changeset |
files
|
Mon, 16 Nov 1998 11:02:07 +0100 |
wenzelm |
several args parsers;
|
changeset |
files
|
Mon, 16 Nov 1998 11:00:58 +0100 |
wenzelm |
removed args, args1, thm_xname;
|
changeset |
files
|
Mon, 16 Nov 1998 10:58:18 +0100 |
wenzelm |
replaced is_symid by is_sid;
|
changeset |
files
|
Mon, 16 Nov 1998 10:46:06 +0100 |
wenzelm |
renamed init_context to init;
|
changeset |
files
|
Mon, 16 Nov 1998 10:45:52 +0100 |
wenzelm |
renamed init_context to init;
|
changeset |
files
|
Mon, 16 Nov 1998 10:44:55 +0100 |
wenzelm |
structure PureIsar;
|
changeset |
files
|
Mon, 16 Nov 1998 10:44:30 +0100 |
wenzelm |
removed lift_modifier;
|
changeset |
files
|
Mon, 16 Nov 1998 10:42:40 +0100 |
wenzelm |
Attribute.thms_of;
|
changeset |
files
|
Mon, 16 Nov 1998 10:41:27 +0100 |
wenzelm |
Scan.read;
|
changeset |
files
|
Mon, 16 Nov 1998 10:41:08 +0100 |
wenzelm |
added read;
|
changeset |
files
|
Mon, 16 Nov 1998 10:40:23 +0100 |
wenzelm |
tuned usage of read;
|
changeset |
files
|