| 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 |