| Thu, 13 Nov 2008 22:36:30 +0100 | wenzelm | updated generated files; | changeset | files |
| Thu, 13 Nov 2008 22:07:31 +0100 | wenzelm | added section "Explicit instantiation within a subgoal context"; | changeset | files |
| Thu, 13 Nov 2008 22:06:36 +0100 | wenzelm | renamed "Rules" to "Object-level rules"; | changeset | files |
| Thu, 13 Nov 2008 22:05:49 +0100 | wenzelm | more on basic tactics; | changeset | files |