| Thu, 31 Dec 2015 12:55:39 +0100 | wenzelm | clarified imports; | changeset | files |
| Thu, 31 Dec 2015 12:43:09 +0100 | wenzelm | clarified directory structure; | changeset | files |
| Thu, 31 Dec 2015 12:37:16 +0100 | wenzelm | updated isabelle_fonts; | changeset | files |
| Thu, 31 Dec 2015 12:20:10 +0100 | wenzelm | proper diamond from lasy10; | changeset | files |
| Thu, 31 Dec 2015 00:07:42 +0100 | wenzelm | modernized defs; | changeset | files |
| Wed, 30 Dec 2015 22:09:44 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 30 Dec 2015 22:05:00 +0100 | wenzelm | more symbols; | changeset | files |