]> 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)
commitb7503f874120f581c9679deabe45bd3c333f1b0c
tree45fa71bb2fb335cfc973d3b030c7d44387e22c01
parent2b95f946837707c6ad30d1b8317d73c55cda3dc8
Unified-Sub: lift_comm completed
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/fun.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/inv.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/datatypes/Term.ma
helm/software/matita/contribs/RELATIONAL/NLE/inv.ma
helm/software/matita/contribs/RELATIONAL/NLE/props.ma
helm/software/matita/contribs/RELATIONAL/NPlus/fun.ma
helm/software/matita/contribs/RELATIONAL/NPlus/inv.ma
helm/software/matita/contribs/RELATIONAL/NPlus/monoid.ma