| Thu, 13 Nov 2008 22:44:40 +0100 | wenzelm | removed "includes" element (lost update?); | changeset | files |
| 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 |
| Thu, 13 Nov 2008 22:05:09 +0100 | wenzelm | basic ML reference for tactics; | changeset | files |
| Thu, 13 Nov 2008 22:04:19 +0100 | wenzelm | added section "Tactics"; | changeset | files |