]> matita.cs.unibo.it Git - helm.git/commit
some improvements
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Feb 2007 19:54:52 +0000 (19:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Feb 2007 19:54:52 +0000 (19:54 +0000)
commitac7831c825d6c3227053f3e339a53b10e3e7118f
tree4a79b70e8fef95a70ae2b25a715389541faff19b
parent8f5b25b6091f1e240f37de5355e7a99b756e98e8
some improvements
matita/contribs/LAMBDA-TYPES/Unified-Sub/Context/defs.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/defs.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/fwd.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/props.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/Term/defs.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/preamble.ma
matita/contribs/RELATIONAL/NLE/dec.ma
matita/contribs/RELATIONAL/NLE/defs.ma
matita/contribs/RELATIONAL/NLE/fwd.ma
matita/contribs/RELATIONAL/NLE/nplus.ma [new file with mode: 0644]
matita/contribs/RELATIONAL/NLE/props.ma