Fri, 27 Feb 2009 16:54:49 +0100 | wenzelm | observe some Isabelle/ML coding conventions; | file | diff | annotate |
Thu, 19 Feb 2009 23:55:10 +1100 | kleing | half auto_solve default time out; increase manually in PG for large projects | file | diff | annotate |
Wed, 11 Feb 2009 16:03:10 +1100 | kleing | Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke | file | diff | annotate |