]> 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)
commit0fadcf36d82e4ed816a50db09dfd1559a8507e6c
tree28b7b4edcbd64f819124642d499502e2b039633d
parent4d23367f20acec9c043c6b81b660ea65ff6f155e
some uris fixed
13 files changed:
helm/software/matita/library/Fsub/defn.ma
helm/software/matita/library/Fsub/part1a.ma
helm/software/matita/library/logic/equality.ma
helm/software/matita/tests/apply2.ma
helm/software/matita/tests/applys.ma
helm/software/matita/tests/continuationals.ma
helm/software/matita/tests/decl.ma
helm/software/matita/tests/dependent_injection.ma
helm/software/matita/tests/injection.ma
helm/software/matita/tests/naiveparamod.ma
helm/software/matita/tests/paramodulation/group.ma
helm/software/matita/tests/pullback.ma
helm/software/matita/tests/tinycals.ma