]> 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)
commit78d54ce55b983b74fa6cce3cb085f207215c5cac
tree81ac0a32bc63cc516a2cc0df95a5ae9507043c4a
parent22a4eca2fd746d689d491140d43cfd5ffe31f19e
proof by "introduction" (impi) implemented in full
matita/contribs/LOGIC/Track/defs.ma
matita/contribs/LOGIC/Track/inv.ma
matita/contribs/LOGIC/Track/order.ma
matita/contribs/LOGIC/Track/props.ma
matita/contribs/LOGIC/datatypes/Proof.ma