]> matita.cs.unibo.it Git - helm.git/commit
diamond property
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 10 Mar 2011 07:41:22 +0000 (07:41 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 10 Mar 2011 07:41:22 +0000 (07:41 +0000)
commitc42ed8044c4bb9b8eadfd6930238ff5e700df656
tree3139152053bc2d029aec1e7ebc40aac9402af487
parent60779bad5c038c5573514800a7b50eafb45013fa
diamond property
matita/matita/lib/lambda/par_reduction.ma [new file with mode: 0644]
matita/matita/lib/lambda/subst.ma