]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e39044) | patch
reorganization of the whole story, the root dir contains the algebraic structure
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 7 Nov 2007 14:44:24 +0000 (14:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 7 Nov 2007 14:44:24 +0000 (14:44 +0000)
commitfdcfbe23f5e11b1856ca6adbc78e5374b493d199
treefe0e7eaa752d52bc85fd73cf4da44c27292274c2tree | snapshot
parent7e39044931dac6b49b98b0fc3938d5cae8c87a52commit | diff
reorganization of the whole story, the root dir contains the algebraic structure
helm/software/matita/dama/classical_pointfree/ordered_sets.ma [new file with mode: 0644] blob
helm/software/matita/dama/classical_pointfree/ordered_sets2.ma [new file with mode: 0644] blob
helm/software/matita/dama/classical_pointwise/sets.ma [new file with mode: 0644] blob
helm/software/matita/dama/classical_pointwise/sigma_algebra.ma [new file with mode: 0644] blob
helm/software/matita/dama/classical_pointwise/topology.ma [new file with mode: 0644] blob
helm/software/matita/dama/ordered_groups.ma diff | blob | history
helm/software/matita/dama/ordered_sets.ma diff | blob | history
helm/software/matita/dama/ordered_sets2.ma [deleted file] blob | history
helm/software/matita/dama/sets.ma [deleted file] blob | history
helm/software/matita/dama/sigma_algebra.ma [deleted file] blob | history
helm/software/matita/dama/topology.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.