]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94873bb) | patch
CoRN-Decl: missing file added
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 17 Nov 2006 10:16:10 +0000 (10:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 17 Nov 2006 10:16:10 +0000 (10:16 +0000)
commit844f4357483380314597d737981134a0b0bac0f1
treece5c7ee9612b28dfa2098f35e6a5be56cbbb4c79tree | snapshot
parent94873bb61a663b4fca3dc6d07b7bb9f42122003ecommit | diff
CoRN-Decl: missing file added
matita/contribs/CoRN-Decl/CoRN_notation.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.