]> matita.cs.unibo.it Git - helm.git/commit
Notation |.| moved to core_notation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Aug 2008 17:03:41 +0000 (17:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Aug 2008 17:03:41 +0000 (17:03 +0000)
commit187b433512cba119f84a476395e9df98136b1a56
tree97e4dcbc1415af8a4aa5ecf00cdbd6e98b744be4
parenta660b97f5a882da420809831581a7c3202fdaf35
Notation |.| moved to core_notation.
helm/software/matita/core_notation.moo
helm/software/matita/library/algebra/finite_groups.ma