]> matita.cs.unibo.it Git - helm.git/commit
some additions and corrections ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 30 Jun 2014 17:46:45 +0000 (17:46 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 30 Jun 2014 17:46:45 +0000 (17:46 +0000)
commit16f6bb96f5b619370e67700fbf4aae5abef05c94
tree62fe759fba6be64fd7fd60df24c2daded3439930
parentcb0d4e730bd6ec9bed1018be37748120f740f0a9
some additions and corrections ...
matita/matita/contribs/lambdadelta/basic_2/names.txt
matita/matita/predefined_virtuals.ml