| Fri, 11 Sep 2015 11:12:08 +0200 | wenzelm | more symbols; | changeset | files |
| Thu, 10 Sep 2015 17:52:31 +0200 | wenzelm | Unicode is standard in Poly/ML repository version; | changeset | files |
| Thu, 10 Sep 2015 17:32:30 +0200 | wenzelm | removed obsolete undocumented feature; | changeset | files |
| Thu, 10 Sep 2015 16:44:17 +0200 | wenzelm | more standard local_theory operations; | changeset | files |
| 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 |