| Thu, 30 Jun 2011 10:15:46 +0200 | krauss | parse term in auxiliary context augmented with variable; | changeset | files |
| 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 |
| Thu, 30 Jun 2011 14:03:31 +0200 | wenzelm | more Path operations; | changeset | files |
| Thu, 30 Jun 2011 13:59:55 +0200 | wenzelm | getenv_strict in ML; | changeset | files |
| Thu, 30 Jun 2011 13:21:41 +0200 | wenzelm | standardized use of Path operations; | changeset | files |
| Thu, 30 Jun 2011 11:15:36 +0200 | wenzelm | tuned comments; | changeset | files |