]> matita.cs.unibo.it Git - helm.git/commit
more work on dama
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 May 2008 14:27:41 +0000 (14:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 May 2008 14:27:41 +0000 (14:27 +0000)
commit730b049302205da43d5fbe8c4450460d85e1ece5
tree0f3d8d96e6d00842fe5bd999d45d758aa0f178d6
parent20c47f607c279c480743954fc0ba305fcb3ed645
more work on dama
helm/software/matita/contribs/dama/Makefile
helm/software/matita/contribs/dama/dama/cprop_connectives.ma
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/supremum.ma