]> matita.cs.unibo.it Git - helm.git/commit
Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind definition
authorPietro Di Lena <pietro.dilena@unibo.it>
Mon, 25 Nov 2002 18:04:30 +0000 (18:04 +0000)
committerPietro Di Lena <pietro.dilena@unibo.it>
Mon, 25 Nov 2002 18:04:30 +0000 (18:04 +0000)
commit1f6fa0ef8ff69e83691e4a913973e46c23f9172e
treee771fc56c3d7093814dc617a3bbe6422ce824658
parent2bd4dfeca3cfce47a0471f16d1ad5921cb49c993
Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind definition
helm/meta_style/set.xml