Mon, 28 Jun 1999 21:47:55 +0200 added presume command;
wenzelm [Mon, 28 Jun 1999 21:47:55 +0200] rev 6850
added presume command;
Mon, 28 Jun 1999 21:47:04 +0200 cond_extern_table;
wenzelm [Mon, 28 Jun 1999 21:47:04 +0200] rev 6849
cond_extern_table; datatype method = Method of thm list -> tactic;
Mon, 28 Jun 1999 21:46:33 +0200 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;
Mon, 28 Jun 1999 21:44:19 +0200 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;
Mon, 28 Jun 1999 21:41:02 +0200 cond_extern_table;
wenzelm [Mon, 28 Jun 1999 21:41:02 +0200] rev 6846
cond_extern_table;
Mon, 28 Jun 1999 21:38:50 +0200 added cond_extern_table;
wenzelm [Mon, 28 Jun 1999 21:38:50 +0200] rev 6845
added cond_extern_table;
Fri, 25 Jun 1999 13:37:51 +0200 branching_level = 400;
wenzelm [Fri, 25 Jun 1999 13:37:51 +0200] rev 6844
branching_level = 400;
Wed, 23 Jun 1999 10:40:13 +0200 tidied
paulson [Wed, 23 Jun 1999 10:40:13 +0200] rev 6843
tidied
Wed, 23 Jun 1999 10:39:35 +0200 renamed PPI to plam
paulson [Wed, 23 Jun 1999 10:39:35 +0200] rev 6842
renamed PPI to plam simplified the definition of lift_act
Wed, 23 Jun 1999 10:38:49 +0200 renamed PPI to plam
paulson [Wed, 23 Jun 1999 10:38:49 +0200] rev 6841
renamed PPI to plam
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip