]> matita.cs.unibo.it Git - helm.git/commit
anniversary milestone in basic_2 !!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Apr 2014 16:34:52 +0000 (16:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Apr 2014 16:34:52 +0000 (16:34 +0000)
commitcb5ca7ea4e826e9331eabeaea44353caab00071e
tree6a4ff1ebdc1117b2c1a6636485d05d03425fa24f
parent3cb5a8e407f0a783c27a4165187578aae980bc39
anniversary milestone in basic_2 !!
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/ground_2.html