]>
2008-02-26 | Ferruccio Guidi | LAMBDA-TYPES: added wf3 (legal context predicate); | commit | commitdiff |
2008-02-20 | Ferruccio Guidi | LambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES | commit | commitdiff |
2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | commit | commitdiff |
2007-02-17 | Ferruccio Guidi | contribs: some improvements | commit | commitdiff |
2007-02-15 | Ferruccio Guidi | contribs: some improvements | commit | commitdiff |
2007-02-14 | Ferruccio Guidi | some improvements | commit | commitdiff |
2007-02-11 | Ferruccio Guidi | Unified: INC and BEq removed | commit | commitdiff |
2007-02-08 | Ferruccio Guidi | Unified refactored | commit | commitdiff |