]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd4196b) | patch
fixed some stuff
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 26 Aug 2008 14:56:18 +0000 (14:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 26 Aug 2008 14:56:18 +0000 (14:56 +0000)
commita660b97f5a882da420809831581a7c3202fdaf35
tree8d1fe1cc757973d7a3deb9e930c2928a826d9263tree | snapshot
parentfd4196b476bff30c46a80cd858ea7bf057f301ebcommit | diff
fixed some stuff
helm/software/matita/contribs/dama/dama/models/list_support.ma diff | blob | history
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/ordered_set.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.