]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe1ff2a) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 27 Sep 2006 16:19:17 +0000 (16:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 27 Sep 2006 16:19:17 +0000 (16:19 +0000)
commitbebc33696f0b972154bf1db45b0f32e78b10c0f1
treeee2cbf0f9687789f1c6c17aaba784debf6eb5056tree | snapshot
parentfe1ff2ab8292b87ba06ccfa538b15459e8f7114acommit | diff
...
matita/library/technicalities/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.