Thu, 05 Nov 2015 11:59:45 +0100 | fleury | updating options to verit | changeset | files |
Thu, 05 Nov 2015 10:39:59 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
Thu, 05 Nov 2015 10:39:49 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
Thu, 05 Nov 2015 10:35:37 +0100 | wenzelm | IsabelleText for unusual symbol; | changeset | files |