wenzelm [Fri, 21 Oct 2005 18:14:47 +0200] rev 17967
added simplification tactics and rules (from meta_simplifier.ML);
wenzelm [Fri, 21 Oct 2005 18:14:46 +0200] rev 17966
moved various simplification tactics and rules to simplifier.ML;
wenzelm [Fri, 21 Oct 2005 18:14:45 +0200] rev 17965
warn_obsolete for goal commands -- danger of disrupting a local proof context;
Goal.init, Goal.conclude, Goal.norm_hhf_rule;
shortcuts no longer pervasive (cf. structure OldGoals);
wenzelm [Fri, 21 Oct 2005 18:14:44 +0200] rev 17964
renamed triv_goal to goalI, rev_triv_goal to goalD;
removed mk_triv_goal (cf. Goal.init);
wenzelm [Fri, 21 Oct 2005 18:14:43 +0200] rev 17963
added goal.ML;
moved use of goals.ML;
wenzelm [Fri, 21 Oct 2005 18:14:42 +0200] rev 17962
added goal.ML;
wenzelm [Fri, 21 Oct 2005 18:14:41 +0200] rev 17961
Goal.norm_hhf_rule, Goal.init;
wenzelm [Fri, 21 Oct 2005 18:14:40 +0200] rev 17960
avoid triv_goal and home-grown meta_allE;
wenzelm [Fri, 21 Oct 2005 18:14:38 +0200] rev 17959
OldGoals;
wenzelm [Fri, 21 Oct 2005 18:14:37 +0200] rev 17958
proper header;
proper use of ML files;
wenzelm [Fri, 21 Oct 2005 18:14:36 +0200] rev 17957
avoid home-grown meta_allE;
wenzelm [Fri, 21 Oct 2005 18:14:34 +0200] rev 17956
Goal.prove;
wenzelm [Fri, 21 Oct 2005 18:14:32 +0200] rev 17955
avoid shortcuts from OldGoals;
wenzelm [Fri, 21 Oct 2005 16:34:22 +0200] rev 17954
added simplified settings for Poly/ML 4.x (commented out);
wenzelm [Fri, 21 Oct 2005 16:22:59 +0200] rev 17953
reverted (accidental?) change of 1.148;
haftmann [Fri, 21 Oct 2005 14:49:49 +0200] rev 17952
abandoned rational number functions in favor of General/rat.ML
haftmann [Fri, 21 Oct 2005 14:49:04 +0200] rev 17951
introduced functions from Pure/General/rat.ML
haftmann [Fri, 21 Oct 2005 14:47:37 +0200] rev 17950
slight corrections
haftmann [Fri, 21 Oct 2005 10:32:59 +0200] rev 17949
substantially improved integration of website into distribution framework
haftmann [Fri, 21 Oct 2005 10:32:04 +0200] rev 17948
substantially improved integration of website into distribution framework
haftmann [Fri, 21 Oct 2005 10:27:02 +0200] rev 17947
substantially improved integration of website into distribution framework
haftmann [Fri, 21 Oct 2005 10:21:38 +0200] rev 17946
substantially improved integration of website into distribution framework
haftmann [Fri, 21 Oct 2005 09:54:03 +0200] rev 17945
towards an improved website/makedist integration
haftmann [Fri, 21 Oct 2005 09:18:27 +0200] rev 17944
towards an improved website/makedist integration