]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/library/algebra/monoids.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 768514a) | patch
A few experiments (with horrible results) using notation...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jan 2006 13:40:44 +0000 (13:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jan 2006 13:40:44 +0000 (13:40 +0000)
commitceb1ffa3c01551ba51c1afcd85d693726c7fd3d9
treefc72b56919e0447b3700a71f335de40330960c60tree | snapshot
parent768514ae739c7b9a8c5a89a3684496912d1ced05commit | diff
A few experiments (with horrible results) using notation...
helm/matita/library/algebra/monoids.ma diff | blob | history
helm/matita/library/algebra/semigroups.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.