| Wed, 29 Jun 2011 11:58:35 +0200 | boehmes | linarith counterexamples now provide only valuations for variables (which should restrict the number of linarith trace messages); | changeset | files |
| Thu, 30 Jun 2011 14:55:01 +0200 | wenzelm | prefer Isabelle path algebra; | changeset | files |
| Thu, 30 Jun 2011 14:51:32 +0200 | wenzelm | proper fold order; | changeset | files |