blanchet [Mon, 14 Jun 2010 19:20:32 +0200] rev 37416
no point in introducing combinators for inlined Skolem functions
blanchet [Mon, 14 Jun 2010 17:12:41 +0200] rev 37415
better error reporting for Vampire
blanchet [Mon, 14 Jun 2010 16:43:44 +0200] rev 37414
expect SPASS 3.7, and give a friendly warning if an older version is used
blanchet [Mon, 14 Jun 2010 16:17:20 +0200] rev 37413
improve ATP-specific error messages
haftmann [Mon, 14 Jun 2010 15:10:50 +0200] rev 37412
merged
haftmann [Mon, 14 Jun 2010 15:10:36 +0200] rev 37411
removed simplifier congruence rule of "prod_case"
blanchet [Mon, 14 Jun 2010 10:36:01 +0200] rev 37410
adjusted the polymorphism handling of Skolem constants so that proof reconstruction doesn't fail in "equality_inf"
haftmann [Sat, 12 Jun 2010 15:48:17 +0200] rev 37409
merged
haftmann [Sat, 12 Jun 2010 15:47:50 +0200] rev 37408
declare lexn.simps [code del]
haftmann [Fri, 11 Jun 2010 17:14:02 +0200] rev 37407
declare lex_prod_def [code del]