]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fea9f5) | patch
Integration_algebras.ma split into 6 different files.
authorEnrico Zoli <??>
Tue, 31 Oct 2006 15:38:22 +0000 (15:38 +0000)
committerEnrico Zoli <??>
Tue, 31 Oct 2006 15:38:22 +0000 (15:38 +0000)
commit85fce74d6a0cd8e83e59895e81f1bc09d21ef4c2
treedecea1dadfda5a618e5010e401238b8496e93ec6tree | snapshot
parent5fea9f520a3be247e506f3a6e7bf366a4f7ddf1ccommit | diff
Integration_algebras.ma split into 6 different files.
helm/software/matita/dama/fields.ma [new file with mode: 0644] blob
helm/software/matita/dama/groups.ma [new file with mode: 0644] blob
helm/software/matita/dama/integration_algebras.ma diff | blob | history
helm/software/matita/dama/ordered_fields_ch0.ma [new file with mode: 0644] blob
helm/software/matita/dama/reals.ma [new file with mode: 0644] blob
helm/software/matita/dama/rings.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.