]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a221802) | patch
some more work
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 25 Jun 2008 14:54:47 +0000 (14:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 25 Jun 2008 14:54:47 +0000 (14:54 +0000)
commit5d5a1cc683e634f7b86cd1b8f36a52e204bcee32
tree5655576700d0fbdd0de151eae8ebd12984a533d1tree | snapshot
parenta221802803194112119f727b0911be4fba069b27commit | diff
some more work
helm/software/matita/contribs/dama/dama/models/q_function.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.