]> matita.cs.unibo.it Git - helm.git/commit
The baseuris changed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 2 Feb 2007 10:58:31 +0000 (10:58 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 2 Feb 2007 10:58:31 +0000 (10:58 +0000)
commit52c5033a45003a9488f0687510554b5efb4dd84e
tree7fc69400401722a84a3390ac9e3eb3e400358a4e
parent6bb836528dd25934608f400779ef3edc8bc9bf92
The baseuris changed
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Switch/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Term/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/preamble.ma