]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd33d17) | patch
Added unit to rings.
authorEnrico Zoli <??>
Tue, 24 Oct 2006 16:52:08 +0000 (16:52 +0000)
committerEnrico Zoli <??>
Tue, 24 Oct 2006 16:52:08 +0000 (16:52 +0000)
commit40c2f7eaa04e0baae6933f87260abaa7c2f78dd1
tree345d7a48aedd1137da79a18073be6fda96817a64tree | snapshot
parentcd33d17975f92963de9e60cbe9dad34ea288fe63commit | diff
Added unit to rings.
helm/software/matita/dama/integration_algebras.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.