]> matita.cs.unibo.it Git - helm.git/commit
two more main properties of drop closed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 20 Jul 2011 20:11:07 +0000 (20:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 20 Jul 2011 20:11:07 +0000 (20:11 +0000)
commit2d6cfac2387447f5682591e19cdbfeb82a15b851
tree4f0753d260fc002478bf1b0af97657ad3193d1b0
parentca2fcd32c41d72893bbb45bda4640c3589699113
two more main properties of drop closed
matita/matita/lib/lambda-delta/ground.ma
matita/matita/lib/lambda-delta/substitution/drop_defs.ma
matita/matita/lib/lambda-delta/substitution/drop_main.ma