| Fri, 21 Oct 2005 18:14:49 +0200 |
wenzelm |
moved SELECT_GOAL to goal.ML;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:48 +0200 |
wenzelm |
moved norm_hhf_rule, prove etc. to goal.ML;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:47 +0200 |
wenzelm |
added simplification tactics and rules (from meta_simplifier.ML);
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:46 +0200 |
wenzelm |
moved various simplification tactics and rules to simplifier.ML;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:45 +0200 |
wenzelm |
warn_obsolete for goal commands -- danger of disrupting a local proof context;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:44 +0200 |
wenzelm |
renamed triv_goal to goalI, rev_triv_goal to goalD;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:43 +0200 |
wenzelm |
added goal.ML;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:42 +0200 |
wenzelm |
added goal.ML;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:41 +0200 |
wenzelm |
Goal.norm_hhf_rule, Goal.init;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:40 +0200 |
wenzelm |
avoid triv_goal and home-grown meta_allE;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:38 +0200 |
wenzelm |
OldGoals;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:37 +0200 |
wenzelm |
proper header;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:36 +0200 |
wenzelm |
avoid home-grown meta_allE;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:34 +0200 |
wenzelm |
Goal.prove;
|
changeset |
files
|
| Fri, 21 Oct 2005 18:14:32 +0200 |
wenzelm |
avoid shortcuts from OldGoals;
|
changeset |
files
|
| Fri, 21 Oct 2005 16:34:22 +0200 |
wenzelm |
added simplified settings for Poly/ML 4.x (commented out);
|
changeset |
files
|
| Fri, 21 Oct 2005 16:22:59 +0200 |
wenzelm |
reverted (accidental?) change of 1.148;
|
changeset |
files
|
| Fri, 21 Oct 2005 14:49:49 +0200 |
haftmann |
abandoned rational number functions in favor of General/rat.ML
|
changeset |
files
|
| Fri, 21 Oct 2005 14:49:04 +0200 |
haftmann |
introduced functions from Pure/General/rat.ML
|
changeset |
files
|
| Fri, 21 Oct 2005 14:47:37 +0200 |
haftmann |
slight corrections
|
changeset |
files
|
| Fri, 21 Oct 2005 10:32:59 +0200 |
haftmann |
substantially improved integration of website into distribution framework
|
changeset |
files
|
| Fri, 21 Oct 2005 10:32:04 +0200 |
haftmann |
substantially improved integration of website into distribution framework
|
changeset |
files
|
| Fri, 21 Oct 2005 10:27:02 +0200 |
haftmann |
substantially improved integration of website into distribution framework
|
changeset |
files
|
| Fri, 21 Oct 2005 10:21:38 +0200 |
haftmann |
substantially improved integration of website into distribution framework
|
changeset |
files
|