Tue, 11 May 2010 15:47:31 +0200 | wenzelm | support Isabelle plugin properties with defaults; | changeset | files |
Tue, 11 May 2010 08:52:22 +0100 | Christian Urban | merged | changeset | files |
Tue, 11 May 2010 07:45:47 +0100 | Christian Urban | tuned proof so that no simplifier warning is printed | changeset | files |