Index of /xml/Lyon/COINDUCTIVES/ARITH/Omega

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]is_definitional_for_finite_numbers.con.types.xml.gz2004-04-08 18:38 6.8K 
[ ]is_definitional_for_finite_numbers.con.body.xml.gz2004-04-08 18:38 5.9K 
[ ]natInj.con.types.xml.gz2004-04-08 18:38 5.2K 
[ ]natInj.con.body.xml.gz2004-04-08 18:38 4.3K 
[ ]all_infinite_is_OO.con.body.xml.gz2004-04-08 18:38 2.9K 
[ ]Nat_Induction.con.types.xml.gz2004-04-08 18:38 2.9K 
[ ]Nat_Induction.con.body.xml.gz2004-04-08 18:38 2.8K 
[ ]all_infinite_is_OO.con.types.xml.gz2004-04-08 18:38 2.6K 
[ ]Nat_unfold.con.types.xml.gz2004-04-08 18:38 1.2K 
[ ]Plus_Idemp.con.body.xml.gz2004-04-08 18:38 1.2K 
[ ]Plus_Idemp.con.types.xml.gz2004-04-08 18:38 1.2K 
[ ]only_OO_is_grater_than_OO.con.body.xml.gz2004-04-08 18:38 1.1K 
[ ]INDEX2005-07-05 08:13 1.1K 
[ ]Le_ind.con.body.xml.gz2004-04-08 18:38 1.1K 
[ ]only_OO_expands_forever.con.body.xml.gz2004-04-08 18:38 1.0K 
[ ]Le_ind.con.types.xml.gz2004-04-08 18:38 1.0K 
[ ]OO_is_infiniteII.con.body.xml.gz2004-04-08 18:38 896  
[ ]only_OO_is_grater_than_OO.con.types.xml.gz2004-04-08 18:38 835  
[ ]OO_is_infinite.con.body.xml.gz2004-04-08 18:38 824  
[ ]Z_is_minimum.con.types.xml.gz2004-04-08 18:38 809  
[ ]Z_is_minimum.con.body.xml.gz2004-04-08 18:38 781  
[ ]Nat_unfold.con.body.xml.gz2004-04-08 18:38 778  
[ ]only_OO_expands_forever.con.types.xml.gz2004-04-08 18:38 765  
[ ]EqNat_reflex.con.body.xml.gz2004-04-08 18:38 740  
[ ]OO_is_infiniteII.con.types.xml.gz2004-04-08 18:38 697  
[ ]Nat_Induction.con.xml.gz2004-04-08 18:38 691  
[ ]Plus.con.body.xml.gz2004-04-08 18:38 680  
[ ]Le_ind.con.xml.gz2004-04-08 18:38 679  
[ ]ntoN.con.body.xml.gz2004-04-08 18:38 669  
[ ]EqNat_reflex.con.types.xml.gz2004-04-08 18:38 655  
[ ]OO_unfold.con.types.xml.gz2004-04-08 18:38 615  
[ ]EqNat.ind.xml.gz2004-04-08 18:38 613  
[ ]EqNat_inj.con.body.xml.gz2004-04-08 18:38 602  
[ ]Le.ind.xml.gz2004-04-08 18:38 601  
[ ]Nat_unfold.con.xml.gz2004-04-08 18:38 597  
[ ]is_definitional_for_finite_numbers.con.xml.gz2004-04-08 18:38 582  
[ ]OO_is_not_Acc.con.types.xml.gz2004-04-08 18:38 566  
[ ]OO_is_not_Acc.con.body.xml.gz2004-04-08 18:38 558  
[ ]OO_is_infinite.con.types.xml.gz2004-04-08 18:38 545  
[ ]EqNat_inj.con.types.xml.gz2004-04-08 18:38 533  
[ ]Z_is_minimum.con.xml.gz2004-04-08 18:38 524  
[ ]all_infinite_is_OO.con.xml.gz2004-04-08 18:38 515  
[ ]OO_is_infiniteII.con.xml.gz2004-04-08 18:38 506  
[ ]only_OO_expands_forever.con.xml.gz2004-04-08 18:38 501  
[ ]natInj.con.xml.gz2004-04-08 18:38 501  
[ ]EqNat_inj.con.xml.gz2004-04-08 18:38 448  
[ ]only_OO_is_grater_than_OO.con.xml.gz2004-04-08 18:38 443  
[ ]Plus_Idemp.con.xml.gz2004-04-08 18:38 411  
[ ]OO_is_not_Acc.con.xml.gz2004-04-08 18:38 406  
[ ]OO.con.body.xml.gz2004-04-08 18:38 387  
[ ]OO_is_infinite.con.xml.gz2004-04-08 18:38 380  
[ ]EqNat_reflex.con.xml.gz2004-04-08 18:38 376  
[ ]Nat.ind.xml.gz2004-04-08 18:38 368  
[ ]OO_unfold.con.xml.gz2004-04-08 18:38 351  
[ ]ntoN.con.xml.gz2004-04-08 18:38 298  
[ ]Plus.con.xml.gz2004-04-08 18:38 295  
[ ]OO_unfold.con.body.xml.gz2004-04-08 18:38 289  
[ ]OO.con.xml.gz2004-04-08 18:38 235  
[ ]EqNat.ind.types.xml.gz2004-04-08 18:38 203  
[ ]ntoN.con.types.xml.gz2004-04-08 18:38 202  
[ ]Plus.con.types.xml.gz2004-04-08 18:38 202  
[ ]Nat.ind.types.xml.gz2004-04-08 18:38 200  
[ ]OO.con.types.xml.gz2004-04-08 18:38 198  
[ ]Le.ind.types.xml.gz2004-04-08 18:38 198  
[DIR]Arithmetic_with_an_explicit_infinity/2005-07-05 08:14 -  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80