wenzelm [Sun, 08 Mar 2009 00:41:52 +0100] rev 30355
use binding type;
wenzelm [Sun, 08 Mar 2009 00:16:34 +0100] rev 30354
merged
haftmann [Sat, 07 Mar 2009 23:41:04 +0100] rev 30353
merged
haftmann [Sat, 07 Mar 2009 15:20:32 +0100] rev 30352
restructured theory Set.thy
wenzelm [Sat, 07 Mar 2009 23:37:09 +0100] rev 30351
merged
blanchet [Sat, 07 Mar 2009 17:05:40 +0100] rev 30350
Removed "nitpick_maybe" constant. Makarius now taught me a much nicer trick.
blanchet [Sat, 07 Mar 2009 16:47:36 +0100] rev 30349
Added a second timeout mechanism to Refute.
For some reason, TimeLimit.timeLimit often does not work, and it
leaves Refute running forever, making any evaluation using
Mutabelle or Mirabelle impossible. The redundant timeout seems to
do the trick.
blanchet [Sat, 07 Mar 2009 12:27:26 +0100] rev 30348
merged
blanchet [Sat, 07 Mar 2009 12:26:56 +0100] rev 30347
Refute: Distinguish between "genuine" and "potential" in the newly added "expect" option.
wenzelm [Sat, 07 Mar 2009 23:30:58 +0100] rev 30346
minimal adaptions for abstract binding type;