]> matita.cs.unibo.it Git - helm.git/commit
moving files
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Sep 2006 10:51:47 +0000 (10:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Sep 2006 10:51:47 +0000 (10:51 +0000)
commite53b402dc0c7f17c22ef45d0ee74ad99fa8ec045
treed3dc998d5caedb08e0d8da57a9f6c0b615498af5
parenta28e3bc3dd16929c397595d1d19b61ebe2acdb01
moving files
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-1.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-3.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-4.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-5.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-6.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-8.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Preamble.ma [deleted file]