]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 901b6be) | patch
added bool_elim (elimination which preserves infos on the eliminated value)
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Nov 2005 10:04:22 +0000 (10:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Nov 2005 10:04:22 +0000 (10:04 +0000)
commit8881e203658bb17d37bdea24ea3e104d0466e2e8
tree33b0cbf9b11722b7aa16ca5e3d6f6d9d56fb3370tree | snapshot
parent901b6be31bc3b0267dfd889373380ec098ee3d3bcommit | diff
added bool_elim (elimination which preserves infos on the eliminated value)
helm/matita/library/datatypes/bool.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.