]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 25 Jan 2006 18:00:05 +0000 (18:00 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 25 Jan 2006 18:00:05 +0000 (18:00 +0000) | ||
commit | 6f5127e717e9022c8e63495fe65d09547a09137c | |
tree | 49db16ec734bb54c6f9ec3e2330edbecc018eae1 | tree | snapshot |
parent | dbd36ab2cf360a7721874e32654831ca3aa2f1cf | commit | diff |
helm/matita/library/algebra/groups.ma | diff | blob | history |