]>
2004-02-16 | Stefano Zacchiroli | - added arrow notation | blob | commitdiff | raw |
2004-02-05 | Stefano Zacchiroli | added \to notation for anonymous binders Pi and Lambda | blob | commitdiff | raw | diff to current |
2004-02-04 | Stefano Zacchiroli | moved here CicAst and pretty printer | blob | commitdiff | raw | diff to current |