]> matita.cs.unibo.it Git - helm.git/commit
Unified-Sub: lift_comm completed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 19 Feb 2007 14:11:14 +0000 (14:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 19 Feb 2007 14:11:14 +0000 (14:11 +0000)
commitb0b69bb764af48d7f022477398f0beff5fb3f3f3
treeab4321ee5fe57f8873f96dad0c3b6c2691696570
parent00f8f919262e3c84dd9e42477092cc1312171493
Unified-Sub: lift_comm completed
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/defs.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/fun.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/inv.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/props.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/datatypes/Term.ma
matita/contribs/RELATIONAL/NLE/inv.ma
matita/contribs/RELATIONAL/NLE/props.ma
matita/contribs/RELATIONAL/NPlus/fun.ma
matita/contribs/RELATIONAL/NPlus/inv.ma
matita/contribs/RELATIONAL/NPlus/monoid.ma