projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 3 Dec 2007 23:44:35 +0000 (23:44 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 3 Dec 2007 23:44:35 +0000 (23:44 +0000) | ||
| commit | 3a5b9647787e1402f6886d41824f664db290963f | |
| tree | 554ebcb25b271845f73474cdfce237bdd75d24cc | tree | snapshot |
| parent | feaabb3c45906fafb4b6eb3fb10add6e6da6069b | commit | diff |
| helm/software/matita/dama/ordered_divisible_group.ma | diff | blob | history | |
| helm/software/matita/dama/ordered_group.ma | diff | blob | history |