]> 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)
commitdc0d67104965bcf4f4671b6598e1be084990813e
tree320e8462414c35ddb89346f5cb9e154a4f40901e
parentcb886bbfa1aa2c691ee7d94a4f077a2d705fb30a
The baseuris changed
matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma
matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma
matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma
matita/contribs/LAMBDA-TYPES/Unified/SUB/Switch/defs.ma
matita/contribs/LAMBDA-TYPES/Unified/SUB/Term/defs.ma
matita/contribs/LAMBDA-TYPES/Unified/SUB/preamble.ma