Index of /xml/Coq/Reals/NewtonInt

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]FTCN_step1.con.body.xml.gz2004-04-08 01:44 5.2K 
[ ]FTCN_step1.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]FTCN_step1.con.types.xml.gz2004-04-08 01:44 6.6K 
[ ]FTCN_step1.con.xml.gz2004-04-08 01:44 597  
[ ]FTC_Newton.con.body.xml.gz2004-04-08 01:44 553  
[ ]FTC_Newton.con.proof_tree.xml.gz2004-04-09 18:52 4.6K 
[ ]FTC_Newton.con.types.xml.gz2004-04-08 01:44 1.1K 
[ ]FTC_Newton.con.xml.gz2004-04-08 01:44 742  
[ ]INDEX2005-07-05 08:11 937  
[ ]NewtonInt.con.body.xml.gz2004-04-08 01:44 1.2K 
[ ]NewtonInt.con.types.xml.gz2004-04-08 01:44 195  
[ ]NewtonInt.con.xml.gz2004-04-08 01:44 450  
[ ]NewtonInt_P1.con.body.xml.gz2004-04-08 01:44 4.9K 
[ ]NewtonInt_P1.con.proof_tree.xml.gz2004-04-09 18:52 6.3K 
[ ]NewtonInt_P1.con.types.xml.gz2004-04-08 01:44 5.1K 
[ ]NewtonInt_P1.con.xml.gz2004-04-08 01:44 425  
[ ]NewtonInt_P2.con.body.xml.gz2004-04-08 01:44 2.3K 
[ ]NewtonInt_P2.con.proof_tree.xml.gz2004-04-09 18:52 3.2K 
[ ]NewtonInt_P2.con.types.xml.gz2004-04-08 01:44 2.7K 
[ ]NewtonInt_P2.con.xml.gz2004-04-08 01:44 506  
[ ]NewtonInt_P3.con.body.xml.gz2004-04-08 01:44 2.1K 
[ ]NewtonInt_P3.con.proof_tree.xml.gz2004-04-09 18:52 3.6K 
[ ]NewtonInt_P3.con.types.xml.gz2004-04-08 01:44 955  
[ ]NewtonInt_P3.con.xml.gz2004-04-08 01:44 486  
[ ]NewtonInt_P4.con.body.xml.gz2004-04-08 01:44 28K 
[ ]NewtonInt_P4.con.proof_tree.xml.gz2004-04-09 18:52 29K 
[ ]NewtonInt_P4.con.types.xml.gz2004-04-08 01:44 41K 
[ ]NewtonInt_P4.con.xml.gz2004-04-08 01:44 673  
[ ]NewtonInt_P5.con.body.xml.gz2004-04-08 01:44 83K 
[ ]NewtonInt_P5.con.proof_tree.xml.gz2004-04-09 18:52 76K 
[ ]NewtonInt_P5.con.types.xml.gz2004-04-08 01:44 102K 
[ ]NewtonInt_P5.con.xml.gz2004-04-08 01:44 708  
[ ]NewtonInt_P6.con.body.xml.gz2004-04-08 01:44 43K 
[ ]NewtonInt_P6.con.proof_tree.xml.gz2004-04-09 18:52 45K 
[ ]NewtonInt_P6.con.types.xml.gz2004-04-08 01:44 72K 
[ ]NewtonInt_P6.con.xml.gz2004-04-08 01:44 1.0K 
[ ]NewtonInt_P7.con.body.xml.gz2004-04-08 01:44 5.9K 
[ ]NewtonInt_P7.con.proof_tree.xml.gz2004-04-09 18:52 11K 
[ ]NewtonInt_P7.con.types.xml.gz2004-04-08 01:44 3.2K 
[ ]NewtonInt_P7.con.xml.gz2004-04-08 01:44 603  
[ ]NewtonInt_P8.con.body.xml.gz2004-04-08 01:44 36K 
[ ]NewtonInt_P8.con.proof_tree.xml.gz2004-04-09 18:52 53K 
[ ]NewtonInt_P8.con.types.xml.gz2004-04-08 01:44 27K 
[ ]NewtonInt_P8.con.xml.gz2004-04-08 01:44 541  
[ ]NewtonInt_P9.con.body.xml.gz2004-04-08 01:45 158K 
[ ]NewtonInt_P9.con.proof_tree.xml.gz2004-04-09 18:52 183K 
[ ]NewtonInt_P9.con.types.xml.gz2004-04-08 01:45 223K 
[ ]NewtonInt_P9.con.xml.gz2004-04-08 01:45 785  
[ ]Newton_integrable.con.body.xml.gz2004-04-08 01:44 677  
[ ]Newton_integrable.con.types.xml.gz2004-04-08 01:44 213  
[ ]Newton_integrable.con.xml.gz2004-04-08 01:44 362  
[ ]antiderivative_P1.con.body.xml.gz2004-04-08 01:44 18K 
[ ]antiderivative_P1.con.proof_tree.xml.gz2004-04-09 18:52 18K 
[ ]antiderivative_P1.con.types.xml.gz2004-04-08 01:44 23K 
[ ]antiderivative_P1.con.xml.gz2004-04-08 01:44 846  
[ ]antiderivative_P2.con.body.xml.gz2004-04-08 01:44 76K 
[ ]antiderivative_P2.con.proof_tree.xml.gz2004-04-09 18:52 160K 
[ ]antiderivative_P2.con.types.xml.gz2004-04-08 01:44 158K 
[ ]antiderivative_P2.con.xml.gz2004-04-08 01:44 1.2K 
[ ]antiderivative_P3.con.body.xml.gz2004-04-08 01:44 6.9K 
[ ]antiderivative_P3.con.proof_tree.xml.gz2004-04-09 18:52 13K 
[ ]antiderivative_P3.con.types.xml.gz2004-04-08 01:44 7.2K 
[ ]antiderivative_P3.con.xml.gz2004-04-08 01:44 707  
[ ]antiderivative_P4.con.body.xml.gz2004-04-08 01:44 6.9K 
[ ]antiderivative_P4.con.proof_tree.xml.gz2004-04-09 18:52 13K 
[ ]antiderivative_P4.con.types.xml.gz2004-04-08 01:44 7.2K 
[ ]antiderivative_P4.con.xml.gz2004-04-08 01:44 709  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80