SMain.vo SMain.glob: SMain.v ../PrimalityTest/FGroup.vo ../List/UList.vo
ZEll.vo ZEll.glob: ZEll.v ../Z/ZCAux.vo ../Z/Ppow.vo GZnZ.vo ../PrimalityTest/EGroup.vo SMain.vo ../Z/Zmod.vo
GZnZ.vo GZnZ.glob: GZnZ.v ../List/UList.vo ../Z/Pmod.vo
SMain.html SMain.glob: SMain.v ../PrimalityTest/FGroup.html ../List/UList.html
ZEll.html ZEll.glob: ZEll.v ../Z/ZCAux.html ../Z/Ppow.html GZnZ.html ../PrimalityTest/EGroup.html SMain.html ../Z/Zmod.html
GZnZ.html GZnZ.glob: GZnZ.v ../List/UList.html ../Z/Pmod.html
