]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2332362) | patch
first page of the new dama proof
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 May 2008 09:51:22 +0000 (09:51 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 May 2008 09:51:22 +0000 (09:51 +0000)
commit648db01678fac09ddfb3cce900bc72e8a1c420da
treed34763dc0291c84c504f9f93d6b14529ff703b34tree | snapshot
parent23323623b58e680602400c5668a738957e6e7ae6commit | diff
first page of the new dama proof
helm/software/matita/contribs/dama/dama/bishop_set.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama/bishop_set_rewrite.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama/cprop_connectives.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama/depends diff | blob | history
helm/software/matita/contribs/dama/dama/excedence.ma [deleted file] blob | history
helm/software/matita/contribs/dama/dama/extra.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama/ordered_set.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.