]> matita.cs.unibo.it Git - helm.git/commit
added CProp
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 May 2008 10:08:22 +0000 (10:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 May 2008 10:08:22 +0000 (10:08 +0000)
commit5381c04b3298d905239dd0cb0550025a674b433a
treecc8a7c4a341a1ee4fc01c605b22724f96711cbab
parent57ed1abc0fddb7644c396e15dd13600eef1f928f
added CProp
helm/software/matita/matita.lang