analyse_cor.phi: ../../src/phoxopt ../../lib/prop.phi 
analyse.phi: ../../src/phoxopt ../../lib/prop.phi 
commutation_cor.phi: ../../src/phoxopt ../../lib/prop.phi 
commutation.phi: ../../src/phoxopt ../../lib/prop.phi 
exo_cor.phi: ../../src/phoxopt ../../lib/prop.phi 
exo.phi: ../../src/phoxopt ../../lib/prop.phi 
group_cor.phi: ../../src/phoxopt ../../lib/prop.phi 
group.phi: ../../src/phoxopt ../../lib/prop.phi 
ideal_cor.phi: ../../src/phoxopt ../../lib/prop.phi 
ideal.phi: ../../src/phoxopt ../../lib/prop.phi 
minlog_cor.phi: ../../src/phoxopt ../../lib/nat.phi ../../lib/list.phi ../../lib/prop.phi 
minlog.phi: ../../src/phoxopt ../../lib/nat.phi ../../lib/list.phi ../../lib/prop.phi 
sort_cor.phi: ../../src/phoxopt ../../lib/nat.phi ../../lib/prop.phi 
sort.phi: ../../src/phoxopt ../../lib/nat.phi ../../lib/prop.phi 
tautologie_cor.phi: ../../src/phoxopt ../../lib/prop.phi 
tautologie.phi: ../../src/phoxopt ../../lib/prop.phi 
topo_cor.phi: ../../src/phoxopt ../../lib/prop.phi 
topo.phi: ../../src/phoxopt ../../lib/prop.phi 
all: analyse_cor.phi analyse.phi commutation_cor.phi commutation.phi \
    exo_cor.phi exo.phi group_cor.phi group.phi ideal_cor.phi ideal.phi \
    minlog_cor.phi minlog.phi sort_cor.phi sort.phi tautologie_cor.phi \
    tautologie.phi topo_cor.phi topo.phi 
