Index of /xml/Coq/Reals/Rtrigo_calc

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 2.1K 
[ ]PI4_RGT_0.con.body.xml.gz2004-04-08 01:43 558  
[ ]PI4_RGT_0.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]PI4_RGT_0.con.types.xml.gz2004-04-08 01:43 688  
[ ]PI4_RGT_0.con.xml.gz2004-04-08 01:43 377  
[ ]PI6_RGT_0.con.body.xml.gz2004-04-08 01:43 679  
[ ]PI6_RGT_0.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]PI6_RGT_0.con.types.xml.gz2004-04-08 01:43 790  
[ ]PI6_RGT_0.con.xml.gz2004-04-08 01:43 394  
[ ]PI6_RLT_PI2.con.body.xml.gz2004-04-08 01:43 4.5K 
[ ]PI6_RLT_PI2.con.proof_tree.xml.gz2004-04-09 18:52 5.3K 
[ ]PI6_RLT_PI2.con.types.xml.gz2004-04-08 01:43 4.4K 
[ ]PI6_RLT_PI2.con.xml.gz2004-04-08 01:43 439  
[ ]R1_sqrt2_neq_0.con.body.xml.gz2004-04-08 01:43 873  
[ ]R1_sqrt2_neq_0.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]R1_sqrt2_neq_0.con.types.xml.gz2004-04-08 01:43 1.2K 
[ ]R1_sqrt2_neq_0.con.xml.gz2004-04-08 01:43 409  
[ ]Rgt_2PI_0.con.body.xml.gz2004-04-08 01:44 410  
[ ]Rgt_2PI_0.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Rgt_2PI_0.con.types.xml.gz2004-04-08 01:44 413  
[ ]Rgt_2PI_0.con.xml.gz2004-04-08 01:44 337  
[ ]Rgt_3PI2_0.con.body.xml.gz2004-04-08 01:44 630  
[ ]Rgt_3PI2_0.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]Rgt_3PI2_0.con.types.xml.gz2004-04-08 01:44 674  
[ ]Rgt_3PI2_0.con.xml.gz2004-04-08 01:44 398  
[ ]Rlt_3PI2_2PI.con.body.xml.gz2004-04-08 01:44 5.4K 
[ ]Rlt_3PI2_2PI.con.proof_tree.xml.gz2004-04-09 18:52 4.7K 
[ ]Rlt_3PI2_2PI.con.types.xml.gz2004-04-08 01:44 6.3K 
[ ]Rlt_3PI2_2PI.con.xml.gz2004-04-08 01:44 442  
[ ]Rlt_PI_3PI2.con.body.xml.gz2004-04-08 01:44 4.2K 
[ ]Rlt_PI_3PI2.con.proof_tree.xml.gz2004-04-09 18:52 3.6K 
[ ]Rlt_PI_3PI2.con.types.xml.gz2004-04-08 01:44 4.5K 
[ ]Rlt_PI_3PI2.con.xml.gz2004-04-08 01:44 402  
[ ]Rlt_sqrt2_0.con.body.xml.gz2004-04-08 01:43 1.6K 
[ ]Rlt_sqrt2_0.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Rlt_sqrt2_0.con.types.xml.gz2004-04-08 01:43 1.7K 
[ ]Rlt_sqrt2_0.con.xml.gz2004-04-08 01:43 332  
[ ]Rlt_sqrt3_0.con.body.xml.gz2004-04-08 01:43 4.0K 
[ ]Rlt_sqrt3_0.con.proof_tree.xml.gz2004-04-09 18:52 5.1K 
[ ]Rlt_sqrt3_0.con.types.xml.gz2004-04-08 01:43 3.9K 
[ ]Rlt_sqrt3_0.con.xml.gz2004-04-08 01:43 351  
[ ]Rsqr_sin_cos_d_one.con.body.xml.gz2004-04-08 01:44 416  
[ ]Rsqr_sin_cos_d_one.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Rsqr_sin_cos_d_one.con.types.xml.gz2004-04-08 01:44 781  
[ ]Rsqr_sin_cos_d_one.con.xml.gz2004-04-08 01:44 513  
[ ]cos3PI4.con.body.xml.gz2004-04-08 01:43 11K 
[ ]cos3PI4.con.proof_tree.xml.gz2004-04-09 18:52 7.1K 
[ ]cos3PI4.con.types.xml.gz2004-04-08 01:43 12K 
[ ]cos3PI4.con.xml.gz2004-04-08 01:43 567  
[ ]cos_2PI3.con.body.xml.gz2004-04-08 01:44 31K 
[ ]cos_2PI3.con.proof_tree.xml.gz2004-04-09 18:52 15K 
[ ]cos_2PI3.con.types.xml.gz2004-04-08 01:44 28K 
[ ]cos_2PI3.con.xml.gz2004-04-08 01:44 504  
[ ]cos_5PI4.con.body.xml.gz2004-04-08 01:44 9.5K 
[ ]cos_5PI4.con.proof_tree.xml.gz2004-04-09 18:52 7.8K 
[ ]cos_5PI4.con.types.xml.gz2004-04-08 01:44 12K 
[ ]cos_5PI4.con.xml.gz2004-04-08 01:44 588  
[ ]cos_PI3.con.body.xml.gz2004-04-08 01:44 703  
[ ]cos_PI3.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]cos_PI3.con.types.xml.gz2004-04-08 01:44 475  
[ ]cos_PI3.con.xml.gz2004-04-08 01:44 450  
[ ]cos_PI4.con.body.xml.gz2004-04-08 01:43 14K 
[ ]cos_PI4.con.proof_tree.xml.gz2004-04-09 18:52 14K 
[ ]cos_PI4.con.types.xml.gz2004-04-08 01:43 13K 
[ ]cos_PI4.con.xml.gz2004-04-08 01:43 487  
[ ]cos_PI6.con.body.xml.gz2004-04-08 01:44 16K 
[ ]cos_PI6.con.proof_tree.xml.gz2004-04-09 18:52 13K 
[ ]cos_PI6.con.types.xml.gz2004-04-08 01:44 15K 
[ ]cos_PI6.con.xml.gz2004-04-08 01:44 540  
[ ]cosd.con.body.xml.gz2004-04-08 01:44 379  
[ ]cosd.con.types.xml.gz2004-04-08 01:44 193  
[ ]cosd.con.xml.gz2004-04-08 01:44 277  
[ ]deg_rad.con.body.xml.gz2004-04-08 01:44 734  
[ ]deg_rad.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]deg_rad.con.types.xml.gz2004-04-08 01:44 738  
[ ]deg_rad.con.xml.gz2004-04-08 01:44 434  
[ ]plat.con.body.xml.gz2004-04-08 01:44 560  
[ ]plat.con.types.xml.gz2004-04-08 01:44 194  
[ ]plat.con.xml.gz2004-04-08 01:44 230  
[ ]rad_deg.con.body.xml.gz2004-04-08 01:44 19K 
[ ]rad_deg.con.proof_tree.xml.gz2004-04-09 18:52 10K 
[ ]rad_deg.con.types.xml.gz2004-04-08 01:44 21K 
[ ]rad_deg.con.xml.gz2004-04-08 01:44 436  
[ ]sin3PI4.con.body.xml.gz2004-04-08 01:44 11K 
[ ]sin3PI4.con.proof_tree.xml.gz2004-04-09 18:52 6.7K 
[ ]sin3PI4.con.types.xml.gz2004-04-08 01:44 12K 
[ ]sin3PI4.con.xml.gz2004-04-08 01:44 545  
[ ]sin_2PI3.con.body.xml.gz2004-04-08 01:44 5.1K 
[ ]sin_2PI3.con.proof_tree.xml.gz2004-04-09 18:52 4.0K 
[ ]sin_2PI3.con.types.xml.gz2004-04-08 01:44 5.3K 
[ ]sin_2PI3.con.xml.gz2004-04-08 01:44 544  
[ ]sin_3PI2.con.body.xml.gz2004-04-08 01:43 5.5K 
[ ]sin_3PI2.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]sin_3PI2.con.types.xml.gz2004-04-08 01:43 5.8K 
[ ]sin_3PI2.con.xml.gz2004-04-08 01:43 473  
[ ]sin_5PI4.con.body.xml.gz2004-04-08 01:44 9.5K 
[ ]sin_5PI4.con.proof_tree.xml.gz2004-04-09 18:52 7.8K 
[ ]sin_5PI4.con.types.xml.gz2004-04-08 01:44 12K 
[ ]sin_5PI4.con.xml.gz2004-04-08 01:44 587  
[ ]sin_PI3.con.body.xml.gz2004-04-08 01:44 789  
[ ]sin_PI3.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]sin_PI3.con.types.xml.gz2004-04-08 01:44 529  
[ ]sin_PI3.con.xml.gz2004-04-08 01:44 501  
[ ]sin_PI3_cos_PI6.con.body.xml.gz2004-04-08 01:43 19K 
[ ]sin_PI3_cos_PI6.con.proof_tree.xml.gz2004-04-09 18:52 14K 
[ ]sin_PI3_cos_PI6.con.types.xml.gz2004-04-08 01:43 19K 
[ ]sin_PI3_cos_PI6.con.xml.gz2004-04-08 01:43 536  
[ ]sin_PI4.con.body.xml.gz2004-04-08 01:43 735  
[ ]sin_PI4.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]sin_PI4.con.types.xml.gz2004-04-08 01:43 512  
[ ]sin_PI4.con.xml.gz2004-04-08 01:43 487  
[ ]sin_PI6.con.body.xml.gz2004-04-08 01:43 19K 
[ ]sin_PI6.con.proof_tree.xml.gz2004-04-09 18:52 13K 
[ ]sin_PI6.con.types.xml.gz2004-04-08 01:43 20K 
[ ]sin_PI6.con.xml.gz2004-04-08 01:43 488  
[ ]sin_PI6_cos_PI3.con.body.xml.gz2004-04-08 01:43 19K 
[ ]sin_PI6_cos_PI3.con.proof_tree.xml.gz2004-04-09 18:52 14K 
[ ]sin_PI6_cos_PI3.con.types.xml.gz2004-04-08 01:43 19K 
[ ]sin_PI6_cos_PI3.con.xml.gz2004-04-08 01:43 536  
[ ]sin_cos5PI4.con.body.xml.gz2004-04-08 01:44 1.4K 
[ ]sin_cos5PI4.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]sin_cos5PI4.con.types.xml.gz2004-04-08 01:44 1.0K 
[ ]sin_cos5PI4.con.xml.gz2004-04-08 01:44 672  
[ ]sin_cos_PI4.con.body.xml.gz2004-04-08 01:43 11K 
[ ]sin_cos_PI4.con.proof_tree.xml.gz2004-04-09 18:52 8.9K 
[ ]sin_cos_PI4.con.types.xml.gz2004-04-08 01:43 14K 
[ ]sin_cos_PI4.con.xml.gz2004-04-08 01:43 525  
[ ]sin_lb_ge_0.con.body.xml.gz2004-04-08 01:44 16K 
[ ]sin_lb_ge_0.con.proof_tree.xml.gz2004-04-09 18:52 14K 
[ ]sin_lb_ge_0.con.types.xml.gz2004-04-08 01:44 15K 
[ ]sin_lb_ge_0.con.xml.gz2004-04-08 01:44 512  
[ ]sind.con.body.xml.gz2004-04-08 01:44 379  
[ ]sind.con.types.xml.gz2004-04-08 01:44 194  
[ ]sind.con.xml.gz2004-04-08 01:44 275  
[ ]sqrt2_neq_0.con.body.xml.gz2004-04-08 01:43 2.5K 
[ ]sqrt2_neq_0.con.proof_tree.xml.gz2004-04-09 18:52 3.5K 
[ ]sqrt2_neq_0.con.types.xml.gz2004-04-08 01:43 2.4K 
[ ]sqrt2_neq_0.con.xml.gz2004-04-08 01:43 384  
[ ]sqrt3_2_neq_0.con.body.xml.gz2004-04-08 01:43 4.8K 
[ ]sqrt3_2_neq_0.con.proof_tree.xml.gz2004-04-09 18:52 6.0K 
[ ]sqrt3_2_neq_0.con.types.xml.gz2004-04-08 01:43 4.3K 
[ ]sqrt3_2_neq_0.con.xml.gz2004-04-08 01:43 447  
[ ]tan_2PI.con.body.xml.gz2004-04-08 01:43 731  
[ ]tan_2PI.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]tan_2PI.con.types.xml.gz2004-04-08 01:43 782  
[ ]tan_2PI.con.xml.gz2004-04-08 01:43 388  
[ ]tan_2PI3.con.body.xml.gz2004-04-08 01:44 7.7K 
[ ]tan_2PI3.con.proof_tree.xml.gz2004-04-09 18:52 5.3K 
[ ]tan_2PI3.con.types.xml.gz2004-04-08 01:44 7.5K 
[ ]tan_2PI3.con.xml.gz2004-04-08 01:44 522  
[ ]tan_PI.con.body.xml.gz2004-04-08 01:43 774  
[ ]tan_PI.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]tan_PI.con.types.xml.gz2004-04-08 01:43 652  
[ ]tan_PI.con.xml.gz2004-04-08 01:43 338  
[ ]tan_PI3.con.body.xml.gz2004-04-08 01:44 5.2K 
[ ]tan_PI3.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]tan_PI3.con.types.xml.gz2004-04-08 01:44 4.6K 
[ ]tan_PI3.con.xml.gz2004-04-08 01:44 463  
[ ]tan_PI4.con.body.xml.gz2004-04-08 01:43 1.2K 
[ ]tan_PI4.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]tan_PI4.con.types.xml.gz2004-04-08 01:43 1.3K 
[ ]tan_PI4.con.xml.gz2004-04-08 01:43 427  
[ ]tan_PI6.con.body.xml.gz2004-04-08 01:44 8.4K 
[ ]tan_PI6.con.proof_tree.xml.gz2004-04-09 18:52 6.5K 
[ ]tan_PI6.con.types.xml.gz2004-04-08 01:44 7.5K 
[ ]tan_PI6.con.xml.gz2004-04-08 01:44 513  
[ ]tand.con.body.xml.gz2004-04-08 01:44 375  
[ ]tand.con.types.xml.gz2004-04-08 01:44 194  
[ ]tand.con.xml.gz2004-04-08 01:44 275  
[ ]toDeg.con.body.xml.gz2004-04-08 01:44 411  
[ ]toDeg.con.types.xml.gz2004-04-08 01:44 195  
[ ]toDeg.con.xml.gz2004-04-08 01:44 278  
[ ]toRad.con.body.xml.gz2004-04-08 01:44 412  
[ ]toRad.con.types.xml.gz2004-04-08 01:44 195  
[ ]toRad.con.xml.gz2004-04-08 01:44 278  
[ ]toRad_inj.con.body.xml.gz2004-04-08 01:44 15K 
[ ]toRad_inj.con.proof_tree.xml.gz2004-04-09 18:52 10K 
[ ]toRad_inj.con.types.xml.gz2004-04-08 01:44 15K 
[ ]toRad_inj.con.xml.gz2004-04-08 01:44 495  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80