]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/term.ma
additions in lift.ma ....
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 23 Nov 2012 22:19:23 +0000 (22:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 23 Nov 2012 22:19:23 +0000 (22:19 +0000)
commitf8bc120b39bd74ade4e11d4d3ef4355f66c42495
tree22250b2f1653b5f92388f12b813c2661208d5038
parent23cb3f65221975cb1a096d5287e4a620118eb2c0
additions in lift.ma ....
matita/matita/contribs/lambda/lift.ma
matita/matita/contribs/lambda/preamble.ma
matita/matita/contribs/lambda/term.ma
matita/matita/contribs/lambda/trichotomy.ma [deleted file]
matita/matita/contribs/lambda/xoa.conf.xml
matita/matita/contribs/lambda/xoa.ma
matita/matita/contribs/lambda/xoa_notation.ma