]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Nov 2008 16:06:24 +0000 (16:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Nov 2008 16:06:24 +0000 (16:06 +0000)
commit9bcbaf15316cfb7fbe831af1efb89da954f40b72
treec8e54561a1f1578ff949cff8fb785d081537e2a0
parent179574c117d34a39cebeaa66673cda83974e135a
...
17 files changed:
helm/software/matita/contribs/dama/dama/bishop_set.ma [deleted file]
helm/software/matita/contribs/dama/dama/bishop_set_rewrite.ma [deleted file]
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/depends.png
helm/software/matita/contribs/dama/dama/lebesgue.ma [deleted file]
helm/software/matita/contribs/dama/dama/models/q_bars.ma
helm/software/matita/contribs/dama/dama/models/q_rebase.ma
helm/software/matita/contribs/dama/dama/nat_ordered_set.ma [deleted file]
helm/software/matita/contribs/dama/dama/ordered_set.ma [deleted file]
helm/software/matita/contribs/dama/dama/ordered_uniform.ma [deleted file]
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma [deleted file]
helm/software/matita/contribs/dama/dama/property_sigma.ma [deleted file]
helm/software/matita/contribs/dama/dama/russell_support.ma [deleted file]
helm/software/matita/contribs/dama/dama/sandwich.ma [deleted file]
helm/software/matita/contribs/dama/dama/sequence.ma [deleted file]
helm/software/matita/contribs/dama/dama/supremum.ma [deleted file]
helm/software/matita/contribs/dama/dama/uniform.ma [deleted file]