| Thu, 18 Sep 2008 14:06:56 +0200 | wenzelm | added deriv.ML: Abstract derivations based on raw proof terms. | changeset | files |
| Thu, 18 Sep 2008 12:13:50 +0200 | krauss | termination prover for "fun" can be configured using context data. | changeset | files |
| Thu, 18 Sep 2008 10:57:30 +0200 | wenzelm | updated generated file; | changeset | files |
| Thu, 18 Sep 2008 10:57:23 +0200 | wenzelm | unchecked $ISABELLE_HOME_USER/etc/settings; | changeset | files |
| Wed, 17 Sep 2008 23:44:31 +0200 | wenzelm | use_text/use_file now depend on explicit ML name space; | changeset | files |
| Wed, 17 Sep 2008 23:23:49 +0200 | wenzelm | threads work only for Poly/ML 5.2 or later; | changeset | files |