| Fri, 14 Nov 2008 08:50:09 +0100 | haftmann | Name.is_nothing | changeset | files |
| Fri, 14 Nov 2008 08:50:08 +0100 | haftmann | lemmas about dom and minus / insert | changeset | files |
| Fri, 14 Nov 2008 08:50:07 +0100 | haftmann | added length_unique operation for code generation | changeset | files |
| Thu, 13 Nov 2008 22:45:12 +0100 | wenzelm | updated generated files; | changeset | files |
| 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 |