Sun, 26 Jun 2011 19:10:03 +0200 | boehmes | updated SMT certificates | changeset | files |
Sun, 26 Jun 2011 19:10:02 +0200 | boehmes | generalized introduction of explicit application constant: consider more functions as possible witness/instance of quantifiers than before (a constant of type T1 -> T2 -> T3 should be considered to have a rank less or equal to 1 if variables of type T2 -> T3 occur bound in a problem); | changeset | files |
Sat, 25 Jun 2011 20:03:07 +0200 | wenzelm | proper tokens only if session is ready; | changeset | files |