Deduction.vo: Deduction.v folProof.vo folProp.vo
Deduction.vi: Deduction.v folProof.vo folProp.vo
LNN.vo: LNN.v Languages.vo folProof.vo folProp.vo folLogic3.vo
LNN.vi: LNN.v Languages.vo folProof.vo folProp.vo folLogic3.vo
LNN2LNT.vo: LNN2LNT.v misc.vo ListExt.vo folProp.vo folProof.vo Languages.vo subAll.vo subProp.vo folLogic3.vo folReplace.vo LNT.vo codeNatToTerm.vo
LNN2LNT.vi: LNN2LNT.v misc.vo ListExt.vo folProp.vo folProof.vo Languages.vo subAll.vo subProp.vo folLogic3.vo folReplace.vo LNT.vo codeNatToTerm.vo
LNT.vo: LNT.v Languages.vo folProof.vo folProp.vo folLogic3.vo
LNT.vi: LNT.v Languages.vo folProof.vo folProp.vo folLogic3.vo
Languages.vo: Languages.v fol.vo primRec.vo
Languages.vi: Languages.v fol.vo primRec.vo
ListExt.vo: ListExt.v
ListExt.vi: ListExt.v
NN.vo: NN.v folProp.vo subAll.vo folLogic3.vo Languages.vo LNN.vo
NN.vi: NN.v folProp.vo subAll.vo folLogic3.vo Languages.vo LNN.vo
NN2PA.vo: NN2PA.v folProp.vo folProof.vo subProp.vo folLogic3.vo folReplace.vo NN.vo PAtheory.vo LNN2LNT.vo subAll.vo ListExt.vo
NN2PA.vi: NN2PA.v folProp.vo folProof.vo subProp.vo folLogic3.vo folReplace.vo NN.vo PAtheory.vo LNN2LNT.vo subAll.vo ListExt.vo
NNtheory.vo: NNtheory.v folLogic3.vo folProp.vo subProp.vo NN.vo
NNtheory.vi: NNtheory.v folLogic3.vo folProp.vo subProp.vo NN.vo
PA.vo: PA.v folProp.vo subAll.vo folLogic3.vo Languages.vo LNT.vo
PA.vi: PA.v folProp.vo subAll.vo folLogic3.vo Languages.vo LNT.vo
PAconsistent.vo: PAconsistent.v folProof.vo folProp.vo PA.vo model.vo
PAconsistent.vi: PAconsistent.v folProof.vo folProp.vo PA.vo model.vo
PAtheory.vo: PAtheory.v subAll.vo folReplace.vo folProp.vo folLogic3.vo NN.vo LNN2LNT.vo PA.vo
PAtheory.vi: PAtheory.v subAll.vo folReplace.vo folProp.vo folLogic3.vo NN.vo LNN2LNT.vo PA.vo
PRrepresentable.vo: PRrepresentable.v extEqualNat.vo subAll.vo folProp.vo subProp.vo folReplace.vo folLogic3.vo NN.vo NNtheory.vo primRec.vo chRem.vo expressible.vo vector.vo ListExt.vo cPair.vo
PRrepresentable.vi: PRrepresentable.v extEqualNat.vo subAll.vo folProp.vo subProp.vo folReplace.vo folLogic3.vo NN.vo NNtheory.vo primRec.vo chRem.vo expressible.vo vector.vo ListExt.vo cPair.vo
cPair.vo: cPair.v extEqualNat.vo primRec.vo vector.vo
cPair.vi: cPair.v extEqualNat.vo primRec.vo vector.vo
chRem.vo: chRem.v POCKLINGTON/gcd.vo POCKLINGTON/divides.vo POCKLINGTON/natZ.vo POCKLINGTON/prime.vo POCKLINGTON/modprime.vo
chRem.vi: chRem.v POCKLINGTON/gcd.vo POCKLINGTON/divides.vo POCKLINGTON/natZ.vo POCKLINGTON/prime.vo POCKLINGTON/modprime.vo
checkPrf.vo: checkPrf.v primRec.vo codeFreeVar.vo codeSubFormula.vo cPair.vo code.vo folProp.vo extEqualNat.vo wellFormed.vo folProof.vo prLogic.vo
checkPrf.vi: checkPrf.v primRec.vo codeFreeVar.vo codeSubFormula.vo cPair.vo code.vo folProp.vo extEqualNat.vo wellFormed.vo folProof.vo prLogic.vo
code.vo: code.v fol.vo folProof.vo cPair.vo
code.vi: code.v fol.vo folProof.vo cPair.vo
codeFreeVar.vo: codeFreeVar.v primRec.vo cPair.vo ListExt.vo codeList.vo folProp.vo code.vo
codeFreeVar.vi: codeFreeVar.v primRec.vo cPair.vo ListExt.vo codeList.vo folProp.vo code.vo
codeList.vo: codeList.v primRec.vo cPair.vo ListExt.vo vector.vo extEqualNat.vo
codeList.vi: codeList.v primRec.vo cPair.vo ListExt.vo vector.vo extEqualNat.vo
codeNatToTerm.vo: codeNatToTerm.v primRec.vo cPair.vo code.vo folProp.vo folProof.vo Languages.vo LNN.vo LNT.vo
codeNatToTerm.vi: codeNatToTerm.v primRec.vo cPair.vo code.vo folProp.vo folProof.vo Languages.vo LNN.vo LNT.vo
codePA.vo: codePA.v primRec.vo cPair.vo folProp.vo code.vo codeList.vo codeFreeVar.vo extEqualNat.vo vector.vo prLogic.vo PA.vo codeSubFormula.vo
codePA.vi: codePA.v primRec.vo cPair.vo folProp.vo code.vo codeList.vo codeFreeVar.vo extEqualNat.vo vector.vo prLogic.vo PA.vo codeSubFormula.vo
codeSubFormula.vo: codeSubFormula.v primRec.vo cPair.vo folProp.vo code.vo extEqualNat.vo vector.vo codeSubTerm.vo codeFreeVar.vo
codeSubFormula.vi: codeSubFormula.v primRec.vo cPair.vo folProp.vo code.vo extEqualNat.vo vector.vo codeSubTerm.vo codeFreeVar.vo
codeSubTerm.vo: codeSubTerm.v primRec.vo cPair.vo folProp.vo code.vo extEqualNat.vo vector.vo
codeSubTerm.vi: codeSubTerm.v primRec.vo cPair.vo folProp.vo code.vo extEqualNat.vo vector.vo
codeSysPrf.vo: codeSysPrf.v checkPrf.vo code.vo Languages.vo folProp.vo folProof.vo folLogic3.vo folReplace.vo PRrepresentable.vo expressible.vo primRec.vo PA.vo NNtheory.vo codeList.vo subProp.vo ListExt.vo cPair.vo wellFormed.vo prLogic.vo
codeSysPrf.vi: codeSysPrf.v checkPrf.vo code.vo Languages.vo folProp.vo folProof.vo folLogic3.vo folReplace.vo PRrepresentable.vo expressible.vo primRec.vo PA.vo NNtheory.vo codeList.vo subProp.vo ListExt.vo cPair.vo wellFormed.vo prLogic.vo
expressible.vo: expressible.v ListExt.vo folProp.vo subProp.vo extEqualNat.vo NN.vo NNtheory.vo
expressible.vi: expressible.v ListExt.vo folProp.vo subProp.vo extEqualNat.vo NN.vo NNtheory.vo
extEqualNat.vo: extEqualNat.v
extEqualNat.vi: extEqualNat.v
fixPoint.vo: fixPoint.v primRec.vo cPair.vo code.vo codeSubFormula.vo folProp.vo folProof.vo Languages.vo subAll.vo subProp.vo folLogic3.vo folReplace.vo LNN.vo codeNatToTerm.vo PRrepresentable.vo ListExt.vo NN.vo expressible.vo PA.vo NN2PA.vo
fixPoint.vi: fixPoint.v primRec.vo cPair.vo code.vo codeSubFormula.vo folProp.vo folProof.vo Languages.vo subAll.vo subProp.vo folLogic3.vo folReplace.vo LNN.vo codeNatToTerm.vo PRrepresentable.vo ListExt.vo NN.vo expressible.vo PA.vo NN2PA.vo
fol.vo: fol.v misc.vo
fol.vi: fol.v misc.vo
folLogic.vo: folLogic.v ListExt.vo folProof.vo folProp.vo Deduction.vo
folLogic.vi: folLogic.v ListExt.vo folProof.vo folProp.vo Deduction.vo
folLogic2.vo: folLogic2.v ListExt.vo folProp.vo folProof.vo folLogic.vo subProp.vo folReplace.vo
folLogic2.vi: folLogic2.v ListExt.vo folProp.vo folProof.vo folLogic.vo subProp.vo folReplace.vo
folLogic3.vo: folLogic3.v ListExt.vo folProp.vo folProof.vo folLogic2.vo subProp.vo folReplace.vo subAll.vo misc.vo
folLogic3.vi: folLogic3.v ListExt.vo folProp.vo folProof.vo folLogic2.vo subProp.vo folReplace.vo subAll.vo misc.vo
folProof.vo: folProof.v fol.vo folProp.vo
folProof.vi: folProof.v fol.vo folProp.vo
folProp.vo: folProp.v ListExt.vo fol.vo
folProp.vi: folProp.v ListExt.vo fol.vo
folReplace.vo: folReplace.v ListExt.vo folProof.vo folLogic.vo folProp.vo
folReplace.vi: folReplace.v ListExt.vo folProof.vo folLogic.vo folProp.vo
godel1.vo: godel1.v folProp.vo folProof.vo subProp.vo ListExt.vo fixPoint.vo codeSysPrf.vo wConsistent.vo NN.vo code.vo checkPrf.vo
godel1.vi: godel1.v folProp.vo folProof.vo subProp.vo ListExt.vo fixPoint.vo codeSysPrf.vo wConsistent.vo NN.vo code.vo checkPrf.vo
misc.vo: misc.v
misc.vi: misc.v
model.vo: model.v ListExt.vo folProof.vo folProp.vo vector.vo misc.vo
model.vi: model.v ListExt.vo folProof.vo folProp.vo vector.vo misc.vo
prLogic.vo: prLogic.v primRec.vo code.vo cPair.vo
prLogic.vi: prLogic.v primRec.vo code.vo cPair.vo
primRec.vo: primRec.v extEqualNat.vo vector.vo misc.vo
primRec.vi: primRec.v extEqualNat.vo vector.vo misc.vo
rosser.vo: rosser.v folProp.vo folProof.vo folReplace.vo folLogic3.vo subProp.vo ListExt.vo fixPoint.vo codeSysPrf.vo NNtheory.vo code.vo PRrepresentable.vo expressible.vo checkPrf.vo codeNatToTerm.vo
rosser.vi: rosser.v folProp.vo folProof.vo folReplace.vo folLogic3.vo subProp.vo ListExt.vo fixPoint.vo codeSysPrf.vo NNtheory.vo code.vo PRrepresentable.vo expressible.vo checkPrf.vo codeNatToTerm.vo
rosserPA.vo: rosserPA.v folProp.vo folProof.vo folReplace.vo folLogic3.vo subProp.vo ListExt.vo NNtheory.vo NN2PA.vo fixPoint.vo codeSysPrf.vo PAtheory.vo code.vo PRrepresentable.vo expressible.vo checkPrf.vo codeNatToTerm.vo codePA.vo PAconsistent.vo
rosserPA.vi: rosserPA.v folProp.vo folProof.vo folReplace.vo folLogic3.vo subProp.vo ListExt.vo NNtheory.vo NN2PA.vo fixPoint.vo codeSysPrf.vo PAtheory.vo code.vo PRrepresentable.vo expressible.vo checkPrf.vo codeNatToTerm.vo codePA.vo PAconsistent.vo
subAll.vo: subAll.v ListExt.vo folProof.vo folLogic2.vo folProp.vo folReplace.vo subProp.vo
subAll.vi: subAll.v ListExt.vo folProof.vo folLogic2.vo folProp.vo folReplace.vo subProp.vo
subProp.vo: subProp.v ListExt.vo folProof.vo folLogic.vo folProp.vo folReplace.vo
subProp.vi: subProp.v ListExt.vo folProof.vo folLogic.vo folProp.vo folReplace.vo
vector.vo: vector.v
vector.vi: vector.v
wConsistent.vo: wConsistent.v folProof.vo folProp.vo LNN.vo
wConsistent.vi: wConsistent.v folProof.vo folProp.vo LNN.vo
wellFormed.vo: wellFormed.v primRec.vo cPair.vo code.vo folProp.vo extEqualNat.vo codeList.vo
wellFormed.vi: wellFormed.v primRec.vo cPair.vo code.vo folProp.vo extEqualNat.vo codeList.vo
Deduction.html: Deduction.v folProof.html folProp.html
LNN.html: LNN.v Languages.html folProof.html folProp.html folLogic3.html
LNN2LNT.html: LNN2LNT.v misc.html ListExt.html folProp.html folProof.html Languages.html subAll.html subProp.html folLogic3.html folReplace.html LNT.html codeNatToTerm.html
LNT.html: LNT.v Languages.html folProof.html folProp.html folLogic3.html
Languages.html: Languages.v fol.html primRec.html
ListExt.html: ListExt.v
NN.html: NN.v folProp.html subAll.html folLogic3.html Languages.html LNN.html
NN2PA.html: NN2PA.v folProp.html folProof.html subProp.html folLogic3.html folReplace.html NN.html PAtheory.html LNN2LNT.html subAll.html ListExt.html
NNtheory.html: NNtheory.v folLogic3.html folProp.html subProp.html NN.html
PA.html: PA.v folProp.html subAll.html folLogic3.html Languages.html LNT.html
PAconsistent.html: PAconsistent.v folProof.html folProp.html PA.html model.html
PAtheory.html: PAtheory.v subAll.html folReplace.html folProp.html folLogic3.html NN.html LNN2LNT.html PA.html
PRrepresentable.html: PRrepresentable.v extEqualNat.html subAll.html folProp.html subProp.html folReplace.html folLogic3.html NN.html NNtheory.html primRec.html chRem.html expressible.html vector.html ListExt.html cPair.html
cPair.html: cPair.v extEqualNat.html primRec.html vector.html
chRem.html: chRem.v POCKLINGTON/gcd.html POCKLINGTON/divides.html POCKLINGTON/natZ.html POCKLINGTON/prime.html POCKLINGTON/modprime.html
checkPrf.html: checkPrf.v primRec.html codeFreeVar.html codeSubFormula.html cPair.html code.html folProp.html extEqualNat.html wellFormed.html folProof.html prLogic.html
code.html: code.v fol.html folProof.html cPair.html
codeFreeVar.html: codeFreeVar.v primRec.html cPair.html ListExt.html codeList.html folProp.html code.html
codeList.html: codeList.v primRec.html cPair.html ListExt.html vector.html extEqualNat.html
codeNatToTerm.html: codeNatToTerm.v primRec.html cPair.html code.html folProp.html folProof.html Languages.html LNN.html LNT.html
codePA.html: codePA.v primRec.html cPair.html folProp.html code.html codeList.html codeFreeVar.html extEqualNat.html vector.html prLogic.html PA.html codeSubFormula.html
codeSubFormula.html: codeSubFormula.v primRec.html cPair.html folProp.html code.html extEqualNat.html vector.html codeSubTerm.html codeFreeVar.html
codeSubTerm.html: codeSubTerm.v primRec.html cPair.html folProp.html code.html extEqualNat.html vector.html
codeSysPrf.html: codeSysPrf.v checkPrf.html code.html Languages.html folProp.html folProof.html folLogic3.html folReplace.html PRrepresentable.html expressible.html primRec.html PA.html NNtheory.html codeList.html subProp.html ListExt.html cPair.html wellFormed.html prLogic.html
expressible.html: expressible.v ListExt.html folProp.html subProp.html extEqualNat.html NN.html NNtheory.html
extEqualNat.html: extEqualNat.v
fixPoint.html: fixPoint.v primRec.html cPair.html code.html codeSubFormula.html folProp.html folProof.html Languages.html subAll.html subProp.html folLogic3.html folReplace.html LNN.html codeNatToTerm.html PRrepresentable.html ListExt.html NN.html expressible.html PA.html NN2PA.html
fol.html: fol.v misc.html
folLogic.html: folLogic.v ListExt.html folProof.html folProp.html Deduction.html
folLogic2.html: folLogic2.v ListExt.html folProp.html folProof.html folLogic.html subProp.html folReplace.html
folLogic3.html: folLogic3.v ListExt.html folProp.html folProof.html folLogic2.html subProp.html folReplace.html subAll.html misc.html
folProof.html: folProof.v fol.html folProp.html
folProp.html: folProp.v ListExt.html fol.html
folReplace.html: folReplace.v ListExt.html folProof.html folLogic.html folProp.html
godel1.html: godel1.v folProp.html folProof.html subProp.html ListExt.html fixPoint.html codeSysPrf.html wConsistent.html NN.html code.html checkPrf.html
misc.html: misc.v
model.html: model.v ListExt.html folProof.html folProp.html vector.html misc.html
prLogic.html: prLogic.v primRec.html code.html cPair.html
primRec.html: primRec.v extEqualNat.html vector.html misc.html
rosser.html: rosser.v folProp.html folProof.html folReplace.html folLogic3.html subProp.html ListExt.html fixPoint.html codeSysPrf.html NNtheory.html code.html PRrepresentable.html expressible.html checkPrf.html codeNatToTerm.html
rosserPA.html: rosserPA.v folProp.html folProof.html folReplace.html folLogic3.html subProp.html ListExt.html NNtheory.html NN2PA.html fixPoint.html codeSysPrf.html PAtheory.html code.html PRrepresentable.html expressible.html checkPrf.html codeNatToTerm.html codePA.html PAconsistent.html
subAll.html: subAll.v ListExt.html folProof.html folLogic2.html folProp.html folReplace.html subProp.html
subProp.html: subProp.v ListExt.html folProof.html folLogic.html folProp.html folReplace.html
vector.html: vector.v
wConsistent.html: wConsistent.v folProof.html folProp.html LNN.html
wellFormed.html: wellFormed.v primRec.html cPair.html code.html folProp.html extEqualNat.html codeList.html
