]> matita.cs.unibo.it Git - helm.git/commit
refactoring
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Feb 2007 19:11:00 +0000 (19:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Feb 2007 19:11:00 +0000 (19:11 +0000)
commit4a8a3d99215ee31f67f01b947309ae87d2d3462d
treec5b29cc0bfb8929dda5f65b19098a4b4b32ce99d
parente691c765eb67e06399ea8013c0825b4eecd34210
refactoring
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/makefile
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/preamble.ma
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/preamble.ma
helm/software/matita/contribs/LAMBDA-TYPES/Makefile