]> matita.cs.unibo.it Git - helm.git/history - helm/software/helena/src/automath/autCrg.ml
new intermediate language complete_rg,
[helm.git] / helm / software / helena / src / automath / autCrg.ml
2014-11-20 Ferruccio Guidinew intermediate language complete_rg,
2014-11-10 Ferruccio Guidithe commit continues
2011-09-11 Ferruccio Guidirefactoring ...