wenzelm [Sat, 23 Apr 2011 18:09:27 +0200] rev 42467
more reports and error positions;
wenzelm [Sat, 23 Apr 2011 17:02:12 +0200] rev 42466
added Name_Space.check/get convenience;
wenzelm [Sat, 23 Apr 2011 16:30:00 +0200] rev 42465
clarified check_simproc (with report) vs. the_simproc;
proper report for @{simproc} (NB: ML environment is built in invisible context);
only one data slot for this module;
wenzelm [Sat, 23 Apr 2011 13:53:09 +0200] rev 42464
proper binding/report of defined simprocs;
tuned signature;
wenzelm [Sat, 23 Apr 2011 13:00:19 +0200] rev 42463
modernized specifications;
wenzelm [Fri, 22 Apr 2011 15:57:43 +0200] rev 42462
tuned signature;
wenzelm [Fri, 22 Apr 2011 15:25:01 +0200] rev 42461
stats for mac-poly-M2;
wenzelm [Fri, 22 Apr 2011 15:24:00 +0200] rev 42460
simplified Data signature;
wenzelm [Fri, 22 Apr 2011 15:05:04 +0200] rev 42459
misc tuning and simplification;
wenzelm [Fri, 22 Apr 2011 14:53:11 +0200] rev 42458
misc tuning;
wenzelm [Fri, 22 Apr 2011 14:38:49 +0200] rev 42457
do not open ML structures;
wenzelm [Fri, 22 Apr 2011 14:30:32 +0200] rev 42456
proper context for Quantifier1 simprocs (avoid bad ProofContext.init_global from abc655166d61);
tuned signature;
wenzelm [Fri, 22 Apr 2011 13:58:13 +0200] rev 42455
modernized Quantifier1 simproc setup;
wenzelm [Fri, 22 Apr 2011 13:07:47 +0200] rev 42454
tuned signature;