]> matita.cs.unibo.it Git - helm.git/history - helm/www/lambdadelta/ground_1.html
some changes in lambdadelta butterflies
[helm.git] / helm / www / lambdadelta / ground_1.html
2015-05-11 Ferruccio Guidisome changes in lambdadelta butterflies
2015-03-06 Ferruccio Guidiupdated bibliography for text J1
2015-03-06 Ferruccio Guidi- new naming sheme for documentation yields more stable...
2015-02-21 Ferruccio Guidi- update for helena 0.8.2 and related files
2015-02-18 Ferruccio Guidifirst article on lambdadelta version 3
2015-01-22 Ferruccio Guidiinformational page on ground_1