]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2030804) | patch
snapshot
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Nov 2007 12:42:28 +0000 (12:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Nov 2007 12:42:28 +0000 (12:42 +0000)
commit656cb8eb95d1fa723cbd45c8ab4069764aa539a8
tree50e8c902a35510c322767528061f392940f148d3tree | snapshot
parent2030804124914a9b2155c911d4b835fd67c26d4ecommit | diff
snapshot
matita/dama/ordered_groups.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.