]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d97f69b) | patch
more work
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 26 Jun 2008 21:35:10 +0000 (21:35 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 26 Jun 2008 21:35:10 +0000 (21:35 +0000)
commit6b61a9e6698a7c1936adf217b599e34e65a5e4c9
treedc5192ac8b5d4c3dab97a9d58f476c16b9f7b92ftree | snapshot
parentd97f69b313893900ca2d57544fcd200eb06ee286commit | diff
more work
helm/software/matita/contribs/dama/dama/models/q_bars.ma diff | blob | history
helm/software/matita/contribs/dama/dama/models/q_function.ma diff | blob | history
helm/software/matita/contribs/dama/dama/models/q_support.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.