| Mon, 01 Jun 2015 18:59:19 +0200 | haftmann | tuned | changeset | files |
| Mon, 01 Jun 2015 18:07:36 +0200 | wenzelm | clarified context; | changeset | files |
| Mon, 01 Jun 2015 17:44:45 +0200 | wenzelm | clarified context; | changeset | files |
| Mon, 01 Jun 2015 17:08:47 +0200 | wenzelm | clarified context; | changeset | files |
| Mon, 01 Jun 2015 16:07:38 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 01 Jun 2015 15:39:53 +0200 | wenzelm | discontinued unused / unmaintained SVC oracle -- current Isabelle tools (e.g. arith, smt) can easily solve the given examples with full proof reconstruction; | changeset | files |
| Mon, 01 Jun 2015 15:06:09 +0200 | wenzelm | discontinued legacy; | changeset | files |
| Mon, 01 Jun 2015 13:52:35 +0200 | wenzelm | obsolete (see 189c81779a68); | changeset | files |