]> matita.cs.unibo.it Git - helm.git/commit
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)
commit9af0ac16488f57149c7d02aa5bbee47a81c7c342
tree68b5862f8e16359bcef697940117559633f05c41
parent12fe61bed1275c4c596501fb951a9197f50c93e8
more discriminate
helm/software/matita/library/decidable_kit/eqtype.ma
helm/software/matita/library/decidable_kit/fintype.ma
helm/software/matita/library/decidable_kit/list_aux.ma