]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/basics/pts.ma
backport of WIP on \lambda\delta to matita 0.99.3
[helm.git] / matita / matita / lib / basics / pts.ma
2012-03-23 Ferruccio Guidi- pts: we restored the former hierarchy
2012-03-04 Ferruccio Guidi- lambda_delta: "conversion" and "equivalence" componen...
2011-10-20 Wilmer RicciottiJMeq lifted to work on Type[1].
2010-12-16 Andrea AspertiNew version of the library. Several files still do...