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