]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Wed, 14 Nov 2007 12:42:28 +0000 (12:42 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Wed, 14 Nov 2007 12:42:28 +0000 (12:42 +0000) | ||
commit | 656cb8eb95d1fa723cbd45c8ab4069764aa539a8 | |
tree | 50e8c902a35510c322767528061f392940f148d3 | tree | snapshot |
parent | 2030804124914a9b2155c911d4b835fd67c26d4e | commit | diff |
matita/dama/ordered_groups.ma | diff | blob | history |