| Wed, 22 Sep 2010 22:14:25 +0200 | wenzelm | isabelle-process: less verbose no-commit mode; | changeset | files |
| Wed, 22 Sep 2010 21:21:04 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 22 Sep 2010 20:50:25 +0200 | wenzelm | tuned panel names and actions; | changeset | files |
| Wed, 22 Sep 2010 18:21:48 +0200 | wenzelm | renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning; | changeset | files |
| Wed, 22 Sep 2010 17:46:59 +0200 | wenzelm | reactivated polyml-5.4.0 -- SVN 1214 fixes a problem with arbitrary precision arithmetic that was triggered by method "approximation" in HOL/Decision_Procs/Approximation_Ex.thy; | changeset | files |
| Wed, 22 Sep 2010 16:52:21 +0200 | nipkow | merged | changeset | files |
| Wed, 22 Sep 2010 16:52:09 +0200 | nipkow | more lists lemmas | changeset | files |