]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db35296) | patch
addition of unused material :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Feb 2014 11:50:51 +0000 (11:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Feb 2014 11:50:51 +0000 (11:50 +0000)
commite500cfb0c28718d44972a119f55f152018d18e62
tree23bb2efb5fd60d03f35911be0a89d7efad28ffdftree | snapshot
parentdb3529635cb2b68f6aa16fbbefd8653132e4102ccommit | diff
addition of unused material :)
matita/matita/contribs/lambdadelta/ground_2/etc/lib/arith.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/etc/lib/list.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/etc/ynat_old/ynat.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/etc/ynat_old/ynat_iszero.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/etc/ynat_old/ynat_le.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/etc/ynat_old/ynat_pred.etc [new file with mode: 0644] blob
matita/matita/predefined_virtuals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.