| Mon, 20 Apr 2009 16:28:13 +0200 | haftmann | merged | changeset | files |
| Mon, 20 Apr 2009 15:24:57 +0200 | haftmann | empty page leads to results on duplex printers as expected | changeset | files |
| Mon, 20 Apr 2009 09:52:16 +0200 | haftmann | changes in power operations | changeset | files |
| Mon, 20 Apr 2009 09:32:40 +0200 | haftmann | power operation on functions in theory Nat; power operation on relations in theory Transitive_Closure | changeset | files |
| Mon, 20 Apr 2009 09:32:09 +0200 | haftmann | yield is now a static ML function | changeset | files |
| Mon, 20 Apr 2009 09:32:07 +0200 | haftmann | power operation on functions with syntax o^; power operation on relations with syntax ^^ | changeset | files |
| Fri, 17 Apr 2009 16:41:31 +0200 | haftmann | formal declaration of undefined parameters after class instantiation | changeset | files |
| Fri, 17 Apr 2009 16:41:30 +0200 | haftmann | power operation on relations now with syntax ^^ | changeset | files |