Index of /xml/Coq/Init/Peano

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