| Thu, 10 Sep 2015 16:42:01 +0200 | wenzelm | HOL-Proofs is slow; | changeset | files |
| Thu, 10 Sep 2015 14:18:09 +0200 | wenzelm | convenient access to application properties; | changeset | files |
| Thu, 10 Sep 2015 14:12:22 +0200 | wenzelm | tuned -- avoid slightly odd @{cpat}; | changeset | files |