1999-06-28 improved RANGE;
wenzelm [Mon, 28 Jun 1999 23:02:38 +0200] rev 6853
improved RANGE;
1999-06-28 tuned;
wenzelm [Mon, 28 Jun 1999 23:02:03 +0200] rev 6852
tuned;
1999-06-28 cond_extern_table;
wenzelm [Mon, 28 Jun 1999 21:48:36 +0200] rev 6851
cond_extern_table;
1999-06-28 added presume command;
wenzelm [Mon, 28 Jun 1999 21:47:55 +0200] rev 6850
added presume command;
1999-06-28 cond_extern_table;
wenzelm [Mon, 28 Jun 1999 21:47:04 +0200] rev 6849
cond_extern_table; datatype method = Method of thm list -> tactic;
1999-06-28 tuned print_state;
wenzelm [Mon, 28 Jun 1999 21:46:33 +0200] rev 6848
tuned print_state; datatype method = Method of thm list -> tactic; assumptions: back-pressure solver as parameter;
1999-06-28 tuned output: print_context replaced by strings_of_context;
wenzelm [Mon, 28 Jun 1999 21:44:19 +0200] rev 6847
tuned output: print_context replaced by strings_of_context; assumptions: back-pressure solver as parameter;
(0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip