]> matita.cs.unibo.it Git - helm.git/commit
proof by "introduction" (impi) implemented in full
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 26 Aug 2007 16:29:31 +0000 (16:29 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 26 Aug 2007 16:29:31 +0000 (16:29 +0000)
commitb8254eac73531e90312e3a40dc12ae51b18c5c92
tree4c9066eed53a5911a7c9403cf096e5f2d89dec24
parent3ad070eadd6d3f4a58c406d10391a1ddcb4da108
proof by "introduction" (impi) implemented in full
helm/software/matita/contribs/LOGIC/Track/defs.ma
helm/software/matita/contribs/LOGIC/Track/inv.ma
helm/software/matita/contribs/LOGIC/Track/order.ma
helm/software/matita/contribs/LOGIC/Track/props.ma
helm/software/matita/contribs/LOGIC/datatypes/Proof.ma