]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambda_delta/basic_2/computation/csn_lcpr_vector.ma
- Properties S3 and S5 of context-sensitive strongly normalizing terms
[helm.git] / matita / matita / contribs / lambda_delta / basic_2 / computation / csn_lcpr_vector.ma
2012-03-12 Ferruccio Guidi- Properties S3 and S5 of context-sensitive strongly...
2012-03-10 Ferruccio Guidi- renaming completed!
2012-03-10 Ferruccio GuidiWe are decapitalizing the contributions' names ...