| Thu, 02 Jun 2016 15:52:45 +0200 | wenzelm | avoid stateful operations in virtual bootstrap, which presumably causes occasional crash of drule.ML due to inner syntax pp; | changeset | files |
| Thu, 02 Jun 2016 08:34:23 +0200 | Manuel Eberl | Hid RBT.filter | changeset | files |
| Wed, 01 Jun 2016 22:35:51 +0200 | wenzelm | proper ceil operation; | changeset | files |
| Wed, 01 Jun 2016 21:31:08 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 01 Jun 2016 21:26:39 +0200 | wenzelm | isabelle components_checksum -u; | changeset | files |
| Wed, 01 Jun 2016 21:24:51 +0200 | wenzelm | more documentation; | changeset | files |