| Wed, 22 Apr 2009 19:09:19 +0200 | haftmann | fixed compilation of predicate types in ML environment | changeset | files |
| Tue, 21 Apr 2009 15:48:02 +0200 | haftmann | merged | changeset | files |
| 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 |