]>
2002-10-21 | natile | Switching interpreter. | commit | commitdiff |
2002-07-01 | Claudio Sacerdoti... | Invariant description added. | commit | commitdiff |
2002-05-31 | lordi | diff and sortedby implemented | commit | commitdiff |
2002-05-28 | Ferruccio Guidi | new MathQL syntax | commit | commitdiff |
2002-05-28 | Claudio Sacerdoti... | * New operators (Subset, SetEqual and RVarOccurrence... | commit | commitdiff |