]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92156ae) | patch
more discriminate
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 18 Apr 2007 10:08:40 +0000 (10:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 18 Apr 2007 10:08:40 +0000 (10:08 +0000)
commit21334b36493970498132aae7fb7cfc3612abe55f
tree8bf3eccbcf3e582688274ba00cf9cf18a5753336tree | snapshot
parent92156ae1146916d8efb4beba59ffae091241e4e1commit | diff
more discriminate
matita/library/decidable_kit/eqtype.ma diff | blob | history
matita/library/decidable_kit/fintype.ma diff | blob | history
matita/library/decidable_kit/list_aux.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.