]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpbs.ma
- commit of the "s_computation" component ...
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / computation / fpbg_fpbs.ma
2016-04-08 Ferruccio Guidi- commit of the "s_computation" component ...
2014-10-26 Ferruccio Guidi- some renaming according to the written version of...
2014-10-04 Ferruccio Guidi- nnAuto: we catch TypeCheckerFailure generated at...
2014-10-02 Ferruccio Guidiprevious commit was not complete :(