]> matita.cs.unibo.it Git - helm.git/commit
renaming
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 19 Nov 2008 12:19:26 +0000 (12:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 19 Nov 2008 12:19:26 +0000 (12:19 +0000)
commita6f88a0acfcb5c5284b7b3781e313cc0f76bb76d
tree1380583db91940f709bbabb9d300dca3dcb60fc2
parentddc91018331d65f4c43b7c051c6fd07b614ea46b
renaming
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/depends.png
helm/software/matita/contribs/dama/dama/models/increasing_supremum_stabilizes.ma [new file with mode: 0644]
helm/software/matita/contribs/dama/dama/models/nat_dedekind_sigma_complete.ma [deleted file]
helm/software/matita/contribs/dama/dama/models/nat_lebesgue.ma
helm/software/matita/contribs/dama/dama/models/nat_order_continuous.ma