| 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 |