Sat, 29 Sep 2007 21:39:50 +0200 maintain maxidx (analogous to name context);
wenzelm [Sat, 29 Sep 2007 21:39:50 +0200] rev 24765
maintain maxidx (analogous to name context); polymorhic: observe Variable.maxidx_of;
Sat, 29 Sep 2007 21:39:49 +0200 added fixate_params;
wenzelm [Sat, 29 Sep 2007 21:39:49 +0200] rev 24764
added fixate_params; type_infer: freeze_mode = NONE keeps inference parameters in result; type_infer: observe Variable.maxidx_of;
Sat, 29 Sep 2007 21:39:48 +0200 Sign.the_const_constraint;
wenzelm [Sat, 29 Sep 2007 21:39:48 +0200] rev 24763
Sign.the_const_constraint;
Sat, 29 Sep 2007 21:39:47 +0200 added declare_typ_names;
wenzelm [Sat, 29 Sep 2007 21:39:47 +0200] rev 24762
added declare_typ_names; replace_dummy_patterns: canonical argument order;
Sat, 29 Sep 2007 21:39:46 +0200 removed obsolete external interface add_const_constraint;
wenzelm [Sat, 29 Sep 2007 21:39:46 +0200] rev 24761
removed obsolete external interface add_const_constraint; removed redundant const_constraint; renamed add_const_constraint_i to add_const_constraint;
Sat, 29 Sep 2007 21:39:45 +0200 Sign.add_const_constraint;
wenzelm [Sat, 29 Sep 2007 21:39:45 +0200] rev 24760
Sign.add_const_constraint;
Sat, 29 Sep 2007 21:39:44 +0200 fixed metis proof (Why did it stop working?);
wenzelm [Sat, 29 Sep 2007 21:39:44 +0200] rev 24759
fixed metis proof (Why did it stop working?);
Sat, 29 Sep 2007 10:47:05 +0200 swapped machines for at-sml-dev and at-sml-dev-p
isatest [Sat, 29 Sep 2007 10:47:05 +0200] rev 24758
swapped machines for at-sml-dev and at-sml-dev-p
Sat, 29 Sep 2007 10:45:41 +0200 no proof terms for smlnj
isatest [Sat, 29 Sep 2007 10:45:41 +0200] rev 24757
no proof terms for smlnj
Sat, 29 Sep 2007 10:43:54 +0200 add -p 2 at-sml-dev test for HOL proof terms sessions only
kleing [Sat, 29 Sep 2007 10:43:54 +0200] rev 24756
add -p 2 at-sml-dev test for HOL proof terms sessions only
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip