]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 9 Sep 2007 19:00:57 +0000 (19:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 9 Sep 2007 19:00:57 +0000 (19:00 +0000)
commit32d8d8d419e0b910435da275361bb55d49bc43a9
tree7a667d1ec31cb764fd8a90cd7eda8ba8bdfeab6b
parent99de9c457e6aaac40a64a44433d6163ad0d17263
...
helm/software/matita/library/decidable_kit/eqtype.ma
helm/software/matita/library/decidable_kit/fgraph.ma
helm/software/matita/library/decidable_kit/fintype.ma