div.cmo: div.ml div.cmi
div.cmx: div.ml div.cmi
div_test.cmo: div_test.ml
div_test.cmx: div_test.ml
enumBT.cmo: enumBT.ml
enumBT.cmx: enumBT.ml
f91.cmo: f91.ml f91.cmi
f91.cmx: f91.ml f91.cmi
f91_test.cmo: f91_test.ml
f91_test.cmx: f91_test.ml
div.cmi: div.mli
f91.cmi: f91.mli
WP.vo: WP.v ../SB_INIT/NonEmpty.vo
WP.vi: WP.v ../SB_INIT/NonEmpty.vo
FSL.vo: FSL.v WP.vo ../SB_INIT/NonEmpty.vo
FSL.vi: FSL.v WP.vo ../SB_INIT/NonEmpty.vo
FSLDiv.vo: FSLDiv.v FSLAbsPost.vo FSLTarski.vo FSLFixF.vo
FSLDiv.vi: FSLDiv.v FSLAbsPost.vo FSLTarski.vo FSLFixF.vo
FSLF91.vo: FSLF91.v FSLTarski.vo FSLAbsPost.vo FSLFixF.vo
FSLF91.vi: FSLF91.v FSLTarski.vo FSLAbsPost.vo FSLFixF.vo
FSLTarski.vo: FSLTarski.v FSL.vo ../SB_INIT/Tarski.vo ../SB_INIT/Iter.vo
FSLTarski.vi: FSLTarski.v FSL.vo ../SB_INIT/Tarski.vo ../SB_INIT/Iter.vo
FSLFixF.vo: FSLFixF.v FSL.vo ../SB_INIT/WfT.vo ../SB_INIT/Iter.vo FSLTarski.vo
FSLFixF.vi: FSLFixF.v FSL.vo ../SB_INIT/WfT.vo ../SB_INIT/Iter.vo FSLTarski.vo
FSLFixDS.vo: FSLFixDS.v FSLFixF.vo
FSLFixDS.vi: FSLFixDS.v FSLFixF.vo
FSLFixEx.vo: FSLFixEx.v FSLTarski.vo
FSLFixEx.vi: FSLFixEx.v FSLTarski.vo
FSLFixCounterEx.vo: FSLFixCounterEx.v FSL.vo FSLTarski.vo
FSLFixCounterEx.vi: FSLFixCounterEx.v FSL.vo FSLTarski.vo
FSLAbsPost.vo: FSLAbsPost.v FSL.vo
FSLAbsPost.vi: FSLAbsPost.v FSL.vo
NimGame.vo: NimGame.v FSLTarski.vo FSLAbsPost.vo ../SB_INIT/ZBoolAux.vo FSLFixF.vo
NimGame.vi: NimGame.v FSLTarski.vo FSLAbsPost.vo ../SB_INIT/ZBoolAux.vo FSLFixF.vo
SSL.vo: SSL.v FSL.vo
SSL.vi: SSL.v FSL.vo
SSLfriendly.vo: SSLfriendly.v SSL.vo
SSLfriendly.vi: SSLfriendly.v SSL.vo
ISL.vo: ISL.v FSL.vo Place.vo
ISL.vi: ISL.v FSL.vo Place.vo
ISLfriendly.vo: ISLfriendly.v ISL.vo
ISLfriendly.vi: ISLfriendly.v ISL.vo
SSLAbsPost.vo: SSLAbsPost.v SSLfriendly.vo
SSLAbsPost.vi: SSLAbsPost.v SSLfriendly.vo
SSLLoops.vo: SSLLoops.v SSLAbsPost.vo ../SB_INIT/MyTheoryList.vo
SSLLoops.vi: SSLLoops.v SSLAbsPost.vo ../SB_INIT/MyTheoryList.vo
SSLWhile.vo: SSLWhile.v SSLAbsPost.vo SSLLoops.vo FSLFixF.vo
SSLWhile.vi: SSLWhile.v SSLAbsPost.vo SSLLoops.vo FSLFixF.vo
StNimGame.vo: StNimGame.v SSLWhile.vo ../SB_INIT/ZmodAux.vo
StNimGame.vi: StNimGame.v SSLWhile.vo ../SB_INIT/ZmodAux.vo
EnumBinTree.vo: EnumBinTree.v ../SB_INIT/MyTheoryList.vo SSLLoops.vo
EnumBinTree.vi: EnumBinTree.v ../SB_INIT/MyTheoryList.vo SSLLoops.vo
ISLBlock.vo: ISLBlock.v ISLfriendly.vo
ISLBlock.vi: ISLBlock.v ISLfriendly.vo
ISLAbsPost.vo: ISLAbsPost.v ISLBlock.vo
ISLAbsPost.vi: ISLAbsPost.v ISLBlock.vo
ISLLoops.vo: ISLLoops.v ISLAbsPost.vo ../SB_INIT/MyTheoryList.vo
ISLLoops.vi: ISLLoops.v ISLAbsPost.vo ../SB_INIT/MyTheoryList.vo
ISLWhile.vo: ISLWhile.v ISLAbsPost.vo ISLLoops.vo FSLFixF.vo
ISLWhile.vi: ISLWhile.v ISLAbsPost.vo ISLLoops.vo FSLFixF.vo
Lookup.vo: Lookup.v ISLfriendly.vo
Lookup.vi: Lookup.v ISLfriendly.vo
Place.vo: Place.v
Place.vi: Place.v
Maxisort.vo: Maxisort.v ISLAbsPost.vo ../SB_INIT/ZBoolAux.vo ../SB_INIT/Array.vo ISLWhile.vo
Maxisort.vi: Maxisort.v ISLAbsPost.vo ../SB_INIT/ZBoolAux.vo ../SB_INIT/Array.vo ISLWhile.vo
ISLprog.vo: ISLprog.v ../SB_INIT/WfT.vo ISL.vo ISLWhile.vo ../SB_INIT/Iter.vo
ISLprog.vi: ISLprog.v ../SB_INIT/WfT.vo ISL.vo ISLWhile.vo ../SB_INIT/Iter.vo
EnumBinTreeExp.vo: EnumBinTreeExp.v ISLLoops.vo ../SB_INIT/MyTheoryList.vo
EnumBinTreeExp.vi: EnumBinTreeExp.v ISLLoops.vo ../SB_INIT/MyTheoryList.vo
EnumPrime.vo: EnumPrime.v ../SB_INIT/MyTheoryList.vo ISLLoops.vo
EnumPrime.vi: EnumPrime.v ../SB_INIT/MyTheoryList.vo ISLLoops.vo
WP.html: WP.v ../SB_INIT/NonEmpty.html
FSL.html: FSL.v WP.html ../SB_INIT/NonEmpty.html
FSLDiv.html: FSLDiv.v FSLAbsPost.html FSLTarski.html FSLFixF.html
FSLF91.html: FSLF91.v FSLTarski.html FSLAbsPost.html FSLFixF.html
FSLTarski.html: FSLTarski.v FSL.html ../SB_INIT/Tarski.html ../SB_INIT/Iter.html
FSLFixF.html: FSLFixF.v FSL.html ../SB_INIT/WfT.html ../SB_INIT/Iter.html FSLTarski.html
FSLFixDS.html: FSLFixDS.v FSLFixF.html
FSLFixEx.html: FSLFixEx.v FSLTarski.html
FSLFixCounterEx.html: FSLFixCounterEx.v FSL.html FSLTarski.html
FSLAbsPost.html: FSLAbsPost.v FSL.html
NimGame.html: NimGame.v FSLTarski.html FSLAbsPost.html ../SB_INIT/ZBoolAux.html FSLFixF.html
SSL.html: SSL.v FSL.html
SSLfriendly.html: SSLfriendly.v SSL.html
ISL.html: ISL.v FSL.html Place.html
ISLfriendly.html: ISLfriendly.v ISL.html
SSLAbsPost.html: SSLAbsPost.v SSLfriendly.html
SSLLoops.html: SSLLoops.v SSLAbsPost.html ../SB_INIT/MyTheoryList.html
SSLWhile.html: SSLWhile.v SSLAbsPost.html SSLLoops.html FSLFixF.html
StNimGame.html: StNimGame.v SSLWhile.html ../SB_INIT/ZmodAux.html
EnumBinTree.html: EnumBinTree.v ../SB_INIT/MyTheoryList.html SSLLoops.html
ISLBlock.html: ISLBlock.v ISLfriendly.html
ISLAbsPost.html: ISLAbsPost.v ISLBlock.html
ISLLoops.html: ISLLoops.v ISLAbsPost.html ../SB_INIT/MyTheoryList.html
ISLWhile.html: ISLWhile.v ISLAbsPost.html ISLLoops.html FSLFixF.html
Lookup.html: Lookup.v ISLfriendly.html
Place.html: Place.v
Maxisort.html: Maxisort.v ISLAbsPost.html ../SB_INIT/ZBoolAux.html ../SB_INIT/Array.html ISLWhile.html
ISLprog.html: ISLprog.v ../SB_INIT/WfT.html ISL.html ISLWhile.html ../SB_INIT/Iter.html
EnumBinTreeExp.html: EnumBinTreeExp.v ISLLoops.html ../SB_INIT/MyTheoryList.html
EnumPrime.html: EnumPrime.v ../SB_INIT/MyTheoryList.html ISLLoops.html
