]> matita.cs.unibo.it Git - helm.git/commit
some uris fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Dec 2006 18:25:40 +0000 (18:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Dec 2006 18:25:40 +0000 (18:25 +0000)
commitecc6a77fcb57cbab35fddfdb34514edf6a57ad71
tree4e69ab9efaed74c74f14abe712b5eb78f7e338bb
parent8ce428f3b2445ae7fc4ec9b40157ec5a3c8f40fd
some uris fixed
13 files changed:
matita/library/Fsub/defn.ma
matita/library/Fsub/part1a.ma
matita/library/logic/equality.ma
matita/tests/apply2.ma
matita/tests/applys.ma
matita/tests/continuationals.ma
matita/tests/decl.ma
matita/tests/dependent_injection.ma
matita/tests/injection.ma
matita/tests/naiveparamod.ma
matita/tests/paramodulation/group.ma
matita/tests/pullback.ma
matita/tests/tinycals.ma