]> 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:16:51 +0000 (18:16 +0000)
committerPietro Di Lena <pietro.dilena@unibo.it>
Mon, 25 Nov 2002 18:16:51 +0000 (18:16 +0000)
commit2b929db84c91d8f112202b16ba7992b55a395608
tree09c9f8c0986ea9fc904e20a51fd085a2607113b4
parent34878a91f0200675e19d09a683b31c2bc22defdf
Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind definition
helm/meta_style/set.xml