| 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 |
| Mon, 01 Jun 2015 13:46:23 +0200 | wenzelm | eliminated odd C combinator -- Isabelle/ML usually has canonical argument order; | changeset | files |