boehmes [Tue, 15 Sep 2009 15:29:11 +0200] rev 32574
added hard timeout for sledgehammer based on elapsed time (no need to trust ATP's timeout handling);
separate Perl script to invoke local ATPs and measure their user time, with proper setup of process groups required by E
wenzelm [Tue, 15 Sep 2009 15:17:53 +0200] rev 32573
Isar.define_command: identify transaction;
wenzelm [Tue, 15 Sep 2009 13:09:13 +0200] rev 32572
updated bib;
nipkow [Mon, 14 Sep 2009 19:30:48 +0200] rev 32571
count number of iterations required for minimization (and fixed bug: minimization was always called)
haftmann [Mon, 14 Sep 2009 12:25:02 +0200] rev 32570
merged
haftmann [Mon, 14 Sep 2009 08:36:58 +0200] rev 32569
more antiquotations
haftmann [Mon, 14 Sep 2009 08:36:57 +0200] rev 32568
some lemmas about strict order in lattices
wenzelm [Sun, 13 Sep 2009 02:10:41 +0200] rev 32567
explicitly export type abbreviations (as usual in SML97);
explicit type constraints for record patterns -- SML does not support record polymorphism;
observe max. line length (80-100);
wenzelm [Sun, 13 Sep 2009 02:07:52 +0200] rev 32566
wrapper for Real.fmt -- via StringCvt.realfmt;
wenzelm [Sun, 13 Sep 2009 02:07:06 +0200] rev 32565
made SML/NJ happy;