More_Taylor_Defs/
Taylor_aux.con.body.xml
Taylor_aux.con.types.xml
TaylorB.con.body.xml
TaylorB.con.types.xml
Taylor.con.body.xml
Taylor'.con.body.xml
Taylor.con.types.xml
Taylor'.con.types.xml
Taylor_lemma_ap.con.body.xml
Taylor_lemma_ap.con.types.xml
Taylor_Rem.con.body.xml
Taylor_Rem.con.types.xml
Taylor_Seq.con.body.xml
Taylor_Seq'.con.body.xml
Taylor_Seq.con.types.xml
Taylor_Seq'.con.types.xml
Taylor_Sumx_lemma.con.body.xml
Taylor_Sumx_lemma.con.types.xml
Taylor_Theorem/