Thu, 20 Jun 2013 13:53:12 +0200 | wenzelm | more on managed evaluation; | changeset | files |
Thu, 20 Jun 2013 11:27:43 +0200 | wenzelm | updated to Isabelle2013; | changeset | files |
Thu, 20 Jun 2013 11:08:54 +0200 | wenzelm | tuned; | changeset | files |
Thu, 20 Jun 2013 10:47:00 +0200 | wenzelm | tuned; | changeset | files |