]> matita.cs.unibo.it Git - helm.git/commit
Unified refactoring
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Jan 2007 15:08:29 +0000 (15:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Jan 2007 15:08:29 +0000 (15:08 +0000)
commite2c7f456a6d13e86c720104db16c9b28e5933e18
treec0f6990d147fb40ee0e5461bc19886beb85d22fe
parent803d665cbff289f5e5340b9db137f1c4685b43f9
Unified refactoring
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/P/defs.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/T/defs.ma [new file with mode: 0644]