]> matita.cs.unibo.it Git - helm.git/commit
more notation and all-purpose lemmas
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 9 Mar 2011 21:06:55 +0000 (21:06 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 9 Mar 2011 21:06:55 +0000 (21:06 +0000)
commit60779bad5c038c5573514800a7b50eafb45013fa
tree579b52c3fbe53f8dd447cfc0e9a0cc45fccb196c
parentfe4df66869250943913c7fa534bb22305a320683
more notation and all-purpose lemmas
matita/matita/lib/lambda/ext.ma
matita/matita/lib/lambda/lambda_notation.ma