]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Fri, 7 Nov 2008 14:31:25 +0000 (14:31 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Fri, 7 Nov 2008 14:31:25 +0000 (14:31 +0000) | ||
commit | f34fc116009aa590a6036afa4df24f1edeafd91d | |
tree | 4efc2ec51c7eedca350ee39e1ba6e66a00960701 | tree | snapshot |
parent | e2a6d130d5274760f4591197bbbc66c3191e8a6a | commit | diff |
helm/software/matita/contribs/dama/dama/ordered_uniform.ma | diff | blob | history |