]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e10f6cc) | patch
commit by user lroversi
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 12 Oct 2011 13:52:23 +0000 (13:52 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 12 Oct 2011 13:52:23 +0000 (13:52 +0000)
commite55edd820bb75b0e20d67b57d6d09977e5d7b3ab
tree438b900a79cd6b18435972d235258b56de93d67dtree | snapshot
parente10f6cc76602309d92af9c831e755dfa5e593b68commit | diff
commit by user lroversi
weblib/lroversi/prova.ma [new file with mode: 0644] blob
weblib/lroversi/setoids.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.