Sun, 25 Apr 2010 15:52:03 +0200 | wenzelm | modernized naming conventions of main Isar proof elements; | changeset | files |
Sun, 25 Apr 2010 15:13:33 +0200 | wenzelm | goals: simplified handling of implicit variables -- removed obsolete warning; | changeset | files |
Fri, 23 Apr 2010 23:42:46 +0200 | wenzelm | updated generated files; | changeset | files |
Fri, 23 Apr 2010 23:38:01 +0200 | wenzelm | cover 'schematic_lemma' etc.; | changeset | files |
Fri, 23 Apr 2010 23:35:43 +0200 | wenzelm | mark schematic statements explicitly; | changeset | files |
Fri, 23 Apr 2010 23:33:48 +0200 | wenzelm | eliminated spurious schematic statements; | changeset | files |
Fri, 23 Apr 2010 22:48:07 +0200 | wenzelm | explicit 'schematic_theorem' etc. for schematic theorem statements; | changeset | files |