]>
2011-06-21 | Ferruccio Guidi | missing ; to delimit syntax :( | tree | commitdiff |
2011-06-17 | Claudio Sacerdoti... | Remove the daemon :-) | tree | commitdiff |
2011-06-17 | Andrea Asperti | Added a copy of lambdaN to extend the syntax of dummies... | tree | commitdiff |
2011-06-06 | Claudio Sacerdoti... | Minor changes because of the new, weaker (but much... | tree | commitdiff |
2011-05-30 | Ferruccio Guidi | basics: some additions | tree | commitdiff |
2011-04-28 | Ferruccio Guidi | we uncommented R3 and R4 tu be used in lambda-delta | tree | commitdiff |
2011-03-21 | Andrea Asperti | extensions | tree | commitdiff |
2011-03-11 | Andrea Asperti | added star.ma (star closure of a relation) | tree | commitdiff |
2011-03-09 | Ferruccio Guidi | the interpretation for Sigma was missing | tree | commitdiff |
2011-02-10 | Andrea Asperti | Added lambda | tree | commitdiff |
2011-02-09 | Wilmer Ricciotti | enabling destruct defs | tree | commitdiff |
2010-12-16 | Andrea Asperti | New version of the library. Several files still do... | tree | commitdiff |