| Sun, 25 Apr 2010 16:10:05 +0200 | wenzelm | removed obsolete/unused Proof.match_bind; | changeset | files |
| 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 |