ackerman.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi ../lib/list_nat.phi \
    ../lib/list.phi ../lib/bool.phi 
cnp.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi 
com_field.phi: ../src/phoxopt field.phi ../lib/prop.phi com_ring.phi 
com_group.phi: ../src/phoxopt ../lib/prop.phi group.phi com_monoid.phi 
com_monoid.phi: ../src/phoxopt ../lib/prop.phi monoid.phi 
complete.math.dvi: complete.math.tex
complete.math.tex: complete.phi
complete.phi: ../src/phoxopt ../lib/prop.phi 
com_ring.phi: ../src/phoxopt ../lib/prop.phi ring.phi com_monoid.phi 
euclide.math.dvi: euclide.math.tex
euclide.math.tex: euclide.phi
euclide.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi 
fibonacci.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi 
field.phi: ../src/phoxopt ../lib/prop.phi group.phi ring.phi 
group.math.dvi: group.math.tex
group.math.tex: group.phi
group.doc.dvi: group.doc.tex
group.doc.tex: group.phi
group.phi: ../src/phoxopt ../lib/prop.phi monoid.phi 
higman.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi ../lib/list_nat.phi \
    ../lib/bin_rel.phi ../lib/list.phi ramsey.phi 
icomplete.phi: ../src/phoxopt ../lib/prop.phi 
list_bool.math.dvi: list_bool.math.tex
list_bool.math.tex: list_bool.phi
list_bool.doc.dvi: list_bool.doc.tex
list_bool.doc.tex: list_bool.phi
list_bool.phi: ../src/phoxopt ../lib/prop.phi ../lib/list.phi ../lib/bool.phi 
minimal_logic.math.dvi: minimal_logic.math.tex
minimal_logic.math.tex: minimal_logic.phi
minimal_logic.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi ../lib/list.phi 
mi.zf.math.dvi: mi.zf.math.tex
mi.zf.math.tex: mi.zf.phi
mi.zf.phi: ../src/phoxopt ../lib/prop.phi 
monoid.math.dvi: monoid.math.tex
monoid.math.tex: monoid.phi
monoid.doc.dvi: monoid.doc.tex
monoid.doc.tex: monoid.phi
monoid.phi: ../src/phoxopt ../lib/prop.phi semigroup.phi 
mono_ring.phi: ../src/phoxopt ../lib/prop.phi monoid.phi com_monoid.phi nat_monoid.phi 
nat_euclide.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi 
nat_monoid.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi monoid.phi 
pgcd.math.dvi: pgcd.math.tex
pgcd.math.tex: pgcd.phi
pgcd.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi ../lib/bool.phi 
ramsey.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi ../lib/ac.phi ../lib/bool.phi 
ring.phi: ../src/phoxopt com_group.phi ../lib/prop.phi mono_ring.phi 
semigroup.math.dvi: semigroup.math.tex
semigroup.math.tex: semigroup.phi
semigroup.doc.dvi: semigroup.doc.tex
semigroup.doc.tex: semigroup.phi
semigroup.phi: ../src/phoxopt ../lib/prop.phi 
square-root-2.math.dvi: square-root-2.math.tex
square-root-2.math.tex: square-root-2.phi
square-root-2.phi: ../src/phoxopt ../lib/nat.phi ../lib/prop.phi 
zf-2zf.phi: ../src/phoxopt ../lib/prop.phi 
all: ackerman.phi cnp.phi com_field.phi com_group.phi com_monoid.phi \
    complete.phi com_ring.phi euclide.phi fibonacci.phi field.phi group.phi \
    higman.phi icomplete.phi list_bool.phi minimal_logic.phi mi.zf.phi \
    monoid.phi mono_ring.phi nat_euclide.phi nat_monoid.phi pgcd.phi \
    ramsey.phi ring.phi semigroup.phi square-root-2.phi zf-2zf.phi 
alldvi: complete.math.dvi euclide.math.dvi group.math.dvi group.doc.dvi \
    list_bool.math.dvi list_bool.doc.dvi minimal_logic.math.dvi \
    mi.zf.math.dvi monoid.math.dvi monoid.doc.dvi pgcd.math.dvi \
    semigroup.math.dvi semigroup.doc.dvi square-root-2.math.dvi 
