Index of /xml/Coq/omega/OmegaLemmas

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 2.4K 
[ ]OMEGA1.con.body.xml.gz2004-04-08 01:29 699  
[ ]OMEGA1.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]OMEGA1.con.types.xml.gz2004-04-08 01:29 621  
[ ]OMEGA1.con.xml.gz2004-04-08 01:29 481  
[ ]OMEGA2.con.body.xml.gz2004-04-08 01:29 265  
[ ]OMEGA2.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]OMEGA2.con.types.xml.gz2004-04-08 01:29 198  
[ ]OMEGA2.con.xml.gz2004-04-08 01:29 490  
[ ]OMEGA3.con.body.xml.gz2004-04-08 01:29 1.7K 
[ ]OMEGA3.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]OMEGA3.con.types.xml.gz2004-04-08 01:29 1.4K 
[ ]OMEGA3.con.xml.gz2004-04-08 01:29 573  
[ ]OMEGA4.con.body.xml.gz2004-04-08 01:29 5.3K 
[ ]OMEGA4.con.proof_tree.xml.gz2004-04-09 18:52 7.1K 
[ ]OMEGA4.con.types.xml.gz2004-04-08 01:29 5.5K 
[ ]OMEGA4.con.xml.gz2004-04-08 01:29 580  
[ ]OMEGA5.con.body.xml.gz2004-04-08 01:29 913  
[ ]OMEGA5.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]OMEGA5.con.types.xml.gz2004-04-08 01:29 819  
[ ]OMEGA5.con.xml.gz2004-04-08 01:29 555  
[ ]OMEGA6.con.body.xml.gz2004-04-08 01:29 870  
[ ]OMEGA6.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]OMEGA6.con.types.xml.gz2004-04-08 01:29 835  
[ ]OMEGA6.con.xml.gz2004-04-08 01:29 559  
[ ]OMEGA7.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]OMEGA7.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]OMEGA7.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]OMEGA7.con.xml.gz2004-04-08 01:29 627  
[ ]OMEGA8.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]OMEGA8.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]OMEGA8.con.types.xml.gz2004-04-08 01:29 1.5K 
[ ]OMEGA8.con.xml.gz2004-04-08 01:29 536  
[ ]OMEGA9.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]OMEGA9.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]OMEGA9.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]OMEGA9.con.xml.gz2004-04-08 01:29 613  
[ ]OMEGA10.con.body.xml.gz2004-04-08 01:29 5.7K 
[ ]OMEGA10.con.proof_tree.xml.gz2004-04-09 18:52 3.8K 
[ ]OMEGA10.con.types.xml.gz2004-04-08 01:29 5.1K 
[ ]OMEGA10.con.xml.gz2004-04-08 01:29 805  
[ ]OMEGA11.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]OMEGA11.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]OMEGA11.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]OMEGA11.con.xml.gz2004-04-08 01:29 650  
[ ]OMEGA12.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]OMEGA12.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]OMEGA12.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]OMEGA12.con.xml.gz2004-04-08 01:29 649  
[ ]OMEGA13.con.body.xml.gz2004-04-08 01:29 3.5K 
[ ]OMEGA13.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]OMEGA13.con.types.xml.gz2004-04-08 01:29 3.0K 
[ ]OMEGA13.con.xml.gz2004-04-08 01:29 636  
[ ]OMEGA14.con.body.xml.gz2004-04-08 01:29 3.2K 
[ ]OMEGA14.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]OMEGA14.con.types.xml.gz2004-04-08 01:29 2.8K 
[ ]OMEGA14.con.xml.gz2004-04-08 01:29 644  
[ ]OMEGA15.con.body.xml.gz2004-04-08 01:29 4.0K 
[ ]OMEGA15.con.proof_tree.xml.gz2004-04-09 18:52 3.1K 
[ ]OMEGA15.con.types.xml.gz2004-04-08 01:29 3.5K 
[ ]OMEGA15.con.xml.gz2004-04-08 01:29 730  
[ ]OMEGA16.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]OMEGA16.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]OMEGA16.con.types.xml.gz2004-04-08 01:29 1.3K 
[ ]OMEGA16.con.xml.gz2004-04-08 01:29 596  
[ ]OMEGA17.con.body.xml.gz2004-04-08 01:29 1.5K 
[ ]OMEGA17.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]OMEGA17.con.types.xml.gz2004-04-08 01:29 1.6K 
[ ]OMEGA17.con.xml.gz2004-04-08 01:29 562  
[ ]OMEGA18.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]OMEGA18.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]OMEGA18.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]OMEGA18.con.xml.gz2004-04-08 01:29 532  
[ ]OMEGA19.con.body.xml.gz2004-04-08 01:29 3.1K 
[ ]OMEGA19.con.proof_tree.xml.gz2004-04-09 18:52 4.5K 
[ ]OMEGA19.con.types.xml.gz2004-04-08 01:29 3.7K 
[ ]OMEGA19.con.xml.gz2004-04-08 01:29 613  
[ ]OMEGA20.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]OMEGA20.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]OMEGA20.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]OMEGA20.con.xml.gz2004-04-08 01:29 556  
[ ]fast_OMEGA10.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]fast_OMEGA10.con.types.xml.gz2004-04-08 01:29 1.3K 
[ ]fast_OMEGA10.con.xml.gz2004-04-08 01:29 883  
[ ]fast_OMEGA11.con.body.xml.gz2004-04-08 01:29 967  
[ ]fast_OMEGA11.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]fast_OMEGA11.con.xml.gz2004-04-08 01:29 721  
[ ]fast_OMEGA12.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]fast_OMEGA12.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]fast_OMEGA12.con.xml.gz2004-04-08 01:29 724  
[ ]fast_OMEGA13.con.body.xml.gz2004-04-08 01:29 867  
[ ]fast_OMEGA13.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]fast_OMEGA13.con.xml.gz2004-04-08 01:29 696  
[ ]fast_OMEGA14.con.body.xml.gz2004-04-08 01:29 868  
[ ]fast_OMEGA14.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]fast_OMEGA14.con.xml.gz2004-04-08 01:29 697  
[ ]fast_OMEGA15.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]fast_OMEGA15.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]fast_OMEGA15.con.xml.gz2004-04-08 01:29 800  
[ ]fast_OMEGA16.con.body.xml.gz2004-04-08 01:29 881  
[ ]fast_OMEGA16.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]fast_OMEGA16.con.xml.gz2004-04-08 01:29 663  
[ ]fast_Zmult_Zopp_left.con.body.xml.gz2004-04-08 01:29 726  
[ ]fast_Zmult_Zopp_left.con.types.xml.gz2004-04-08 01:29 778  
[ ]fast_Zmult_Zopp_left.con.xml.gz2004-04-08 01:29 566  
[ ]fast_Zmult_assoc_r.con.body.xml.gz2004-04-08 01:29 754  
[ ]fast_Zmult_assoc_r.con.types.xml.gz2004-04-08 01:29 812  
[ ]fast_Zmult_assoc_r.con.xml.gz2004-04-08 01:29 581  
[ ]fast_Zmult_plus_distr.con.body.xml.gz2004-04-08 01:29 803  
[ ]fast_Zmult_plus_distr.con.types.xml.gz2004-04-08 01:29 848  
[ ]fast_Zmult_plus_distr.con.xml.gz2004-04-08 01:29 617  
[ ]fast_Zmult_sym.con.body.xml.gz2004-04-08 01:29 659  
[ ]fast_Zmult_sym.con.types.xml.gz2004-04-08 01:29 693  
[ ]fast_Zmult_sym.con.xml.gz2004-04-08 01:29 516  
[ ]fast_Zopp_Zmult_r.con.body.xml.gz2004-04-08 01:29 724  
[ ]fast_Zopp_Zmult_r.con.types.xml.gz2004-04-08 01:29 771  
[ ]fast_Zopp_Zmult_r.con.xml.gz2004-04-08 01:29 562  
[ ]fast_Zopp_Zopp.con.body.xml.gz2004-04-08 01:29 607  
[ ]fast_Zopp_Zopp.con.types.xml.gz2004-04-08 01:29 658  
[ ]fast_Zopp_Zopp.con.xml.gz2004-04-08 01:29 487  
[ ]fast_Zopp_Zplus.con.body.xml.gz2004-04-08 01:29 729  
[ ]fast_Zopp_Zplus.con.types.xml.gz2004-04-08 01:29 789  
[ ]fast_Zopp_Zplus.con.xml.gz2004-04-08 01:29 562  
[ ]fast_Zopp_one.con.body.xml.gz2004-04-08 01:29 701  
[ ]fast_Zopp_one.con.types.xml.gz2004-04-08 01:29 720  
[ ]fast_Zopp_one.con.xml.gz2004-04-08 01:29 544  
[ ]fast_Zplus_assoc_l.con.body.xml.gz2004-04-08 01:29 743  
[ ]fast_Zplus_assoc_l.con.types.xml.gz2004-04-08 01:29 814  
[ ]fast_Zplus_assoc_l.con.xml.gz2004-04-08 01:29 583  
[ ]fast_Zplus_assoc_r.con.body.xml.gz2004-04-08 01:29 754  
[ ]fast_Zplus_assoc_r.con.types.xml.gz2004-04-08 01:29 812  
[ ]fast_Zplus_assoc_r.con.xml.gz2004-04-08 01:29 581  
[ ]fast_Zplus_permute.con.body.xml.gz2004-04-08 01:29 744  
[ ]fast_Zplus_permute.con.types.xml.gz2004-04-08 01:29 806  
[ ]fast_Zplus_permute.con.xml.gz2004-04-08 01:29 581  
[ ]fast_Zplus_sym.con.body.xml.gz2004-04-08 01:29 659  
[ ]fast_Zplus_sym.con.types.xml.gz2004-04-08 01:29 694  
[ ]fast_Zplus_sym.con.xml.gz2004-04-08 01:29 515  
[ ]fast_Zred_factor0.con.body.xml.gz2004-04-08 01:29 694  
[ ]fast_Zred_factor0.con.types.xml.gz2004-04-08 01:29 690  
[ ]fast_Zred_factor0.con.xml.gz2004-04-08 01:29 537  
[ ]fast_Zred_factor1.con.body.xml.gz2004-04-08 01:29 742  
[ ]fast_Zred_factor1.con.types.xml.gz2004-04-08 01:29 783  
[ ]fast_Zred_factor1.con.xml.gz2004-04-08 01:29 572  
[ ]fast_Zred_factor2.con.body.xml.gz2004-04-08 01:29 798  
[ ]fast_Zred_factor2.con.types.xml.gz2004-04-08 01:29 858  
[ ]fast_Zred_factor2.con.xml.gz2004-04-08 01:29 616  
[ ]fast_Zred_factor3.con.body.xml.gz2004-04-08 01:29 801  
[ ]fast_Zred_factor3.con.types.xml.gz2004-04-08 01:29 860  
[ ]fast_Zred_factor3.con.xml.gz2004-04-08 01:29 618  
[ ]fast_Zred_factor4.con.body.xml.gz2004-04-08 01:29 794  
[ ]fast_Zred_factor4.con.types.xml.gz2004-04-08 01:29 861  
[ ]fast_Zred_factor4.con.xml.gz2004-04-08 01:29 614  
[ ]fast_Zred_factor5.con.body.xml.gz2004-04-08 01:29 683  
[ ]fast_Zred_factor5.con.types.xml.gz2004-04-08 01:29 749  
[ ]fast_Zred_factor5.con.xml.gz2004-04-08 01:29 551  
[ ]fast_Zred_factor6.con.body.xml.gz2004-04-08 01:29 648  
[ ]fast_Zred_factor6.con.types.xml.gz2004-04-08 01:29 651  
[ ]fast_Zred_factor6.con.xml.gz2004-04-08 01:29 511  
[ ]new_var.con.body.xml.gz2004-04-08 01:29 522  
[ ]new_var.con.proof_tree.xml.gz2004-04-09 18:52 909  
[ ]new_var.con.types.xml.gz2004-04-08 01:29 605  
[ ]new_var.con.xml.gz2004-04-08 01:29 443  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80