]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff81867) | patch
1. Back to nicer (and more comprehensible) notation (that cannot be used
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jan 2006 18:30:42 +0000 (18:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jan 2006 18:30:42 +0000 (18:30 +0000)
commit1561ac998b6823c9e763617fcb9cf3c063bb5e3b
tree6c71b49fa2e0e0bc85e098ee4bcb6453a930ccd9tree | snapshot
parentff81867363f855a3ad5bba6f6bb636f20bf8a969commit | diff
1. Back to nicer (and more comprehensible) notation (that cannot be used
   when more than one structure is in use at once).
2. The first definitions and theorems over groups.
helm/matita/library/algebra/groups.ma diff | blob | history
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.