Index of /xml/Coq/Init/Peano

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	1.0K
	pred_Sn.con.proof_tree.xml.gz	2004-04-09 18:52	705
	plus_n_Sm.con.proof_tree.xml.gz	2004-04-09 18:52	722
	plus_n_O.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	plus_Sn_m.con.proof_tree.xml.gz	2004-04-09 18:52	848
	plus_O_n.con.proof_tree.xml.gz	2004-04-09 18:52	686
	not_eq_S.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	nat_double_ind.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	nat_case.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	n_Sn.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	mult_n_Sm.con.proof_tree.xml.gz	2004-04-09 18:52	740
	mult_n_O.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	eq_add_S.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	O_S.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	pred_Sn.con.xml.gz	2004-04-08 01:27	433
	pred_Sn.con.types.xml.gz	2004-04-08 01:27	615
	pred_Sn.con.body.xml.gz	2004-04-08 01:27	440
	pred.con.xml.gz	2004-04-08 01:27	275
	pred.con.types.xml.gz	2004-04-08 01:27	187
	pred.con.body.xml.gz	2004-04-08 01:27	480
	plus_n_Sm.con.xml.gz	2004-04-08 01:27	494
	plus_n_Sm.con.types.xml.gz	2004-04-08 01:27	1.2K
	plus_n_Sm.con.body.xml.gz	2004-04-08 01:27	947
	plus_n_O.con.xml.gz	2004-04-08 01:27	428
	plus_n_O.con.types.xml.gz	2004-04-08 01:27	907
	plus_n_O.con.body.xml.gz	2004-04-08 01:27	793
	plus_Sn_m.con.xml.gz	2004-04-08 01:27	498
	plus_Sn_m.con.types.xml.gz	2004-04-08 01:27	721
	plus_Sn_m.con.body.xml.gz	2004-04-08 01:27	473
	plus_O_n.con.xml.gz	2004-04-08 01:27	427
	plus_O_n.con.types.xml.gz	2004-04-08 01:27	559
	plus_O_n.con.body.xml.gz	2004-04-08 01:27	393
	plus.con.xml.gz	2004-04-08 01:27	284
	plus.con.types.xml.gz	2004-04-08 01:27	187
	plus.con.body.xml.gz	2004-04-08 01:27	676
	not_eq_S.con.xml.gz	2004-04-08 01:27	521
	not_eq_S.con.types.xml.gz	2004-04-08 01:27	856
	not_eq_S.con.body.xml.gz	2004-04-08 01:27	610
	nat_double_ind.con.xml.gz	2004-04-08 01:27	710
	nat_double_ind.con.types.xml.gz	2004-04-08 01:27	1.1K
	nat_double_ind.con.body.xml.gz	2004-04-08 01:27	1.2K
	nat_case.con.xml.gz	2004-04-08 01:27	524
	nat_case.con.types.xml.gz	2004-04-08 01:27	1.1K
	nat_case.con.body.xml.gz	2004-04-08 01:27	1.1K
	n_Sn.con.xml.gz	2004-04-08 01:27	426
	n_Sn.con.types.xml.gz	2004-04-08 01:27	817
	n_Sn.con.body.xml.gz	2004-04-08 01:27	700
	mult_n_Sm.con.xml.gz	2004-04-08 01:27	512
	mult_n_Sm.con.types.xml.gz	2004-04-08 01:27	2.8K
	mult_n_Sm.con.body.xml.gz	2004-04-08 01:27	2.5K
	mult_n_O.con.xml.gz	2004-04-08 01:27	422
	mult_n_O.con.types.xml.gz	2004-04-08 01:27	845
	mult_n_O.con.body.xml.gz	2004-04-08 01:27	640
	mult.con.xml.gz	2004-04-08 01:27	284
	mult.con.types.xml.gz	2004-04-08 01:27	187
	mult.con.body.xml.gz	2004-04-08 01:27	686
	minus.con.xml.gz	2004-04-08 01:27	285
	minus.con.types.xml.gz	2004-04-08 01:27	189
	minus.con.body.xml.gz	2004-04-08 01:27	812
	lt.con.xml.gz	2004-04-08 01:27	295
	lt.con.types.xml.gz	2004-04-08 01:27	184
	lt.con.body.xml.gz	2004-04-08 01:27	408
	le_ind.con.xml.gz	2004-04-08 01:27	643
	le_ind.con.types.xml.gz	2004-04-08 01:27	1.0K
	le_ind.con.body.xml.gz	2004-04-08 01:27	1.1K
	le.ind.xml.gz	2004-04-08 01:27	573
	le.ind.types.xml.gz	2004-04-08 01:27	183
	gt.con.xml.gz	2004-04-08 01:27	296
	gt.con.types.xml.gz	2004-04-08 01:27	184
	gt.con.body.xml.gz	2004-04-08 01:27	383
	ge.con.xml.gz	2004-04-08 01:27	296
	ge.con.types.xml.gz	2004-04-08 01:27	184
	ge.con.body.xml.gz	2004-04-08 01:27	377
	eq_add_S.con.xml.gz	2004-04-08 01:27	480
	eq_add_S.con.types.xml.gz	2004-04-08 01:27	647
	eq_add_S.con.body.xml.gz	2004-04-08 01:27	646
	eq_S.con.xml.gz	2004-04-08 01:27	470
	eq_S.con.types.xml.gz	2004-04-08 01:27	592
	eq_S.con.body.xml.gz	2004-04-08 01:27	479
	O_S.con.xml.gz	2004-04-08 01:27	428
	O_S.con.types.xml.gz	2004-04-08 01:27	764
	O_S.con.body.xml.gz	2004-04-08 01:27	712
	IsSucc.con.xml.gz	2004-04-08 01:27	290
	IsSucc.con.types.xml.gz	2004-04-08 01:27	191
	IsSucc.con.body.xml.gz	2004-04-08 01:27	483