]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3131bba) | patch
removing some old files
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 24 Dec 2014 10:02:06 +0000 (10:02 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 24 Dec 2014 10:02:06 +0000 (10:02 +0000)
commit87e51ef39b7dc9eaeff2cf319038c8aaca1aeb91
tree7c5b67a5884a7fe787a6b36442c090d66f731a3dtree | snapshot
parent3131bba5ab61966ab34a439f8d02268a0ab2c284commit | diff
removing some old files
matita/matita/lib/finite_lambda/finite_lambda.ma [deleted file] blob | history
matita/matita/lib/finite_lambda/finite_lambda_deep.ma [deleted file] blob | history
matita/matita/lib/finite_lambda/typing_deep.ma [deleted file] blob | history
matita/matita/lib/finite_lambda/typing_old.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.