Index of /xml/Coq/Arith/Lt

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	1.1K
	S_pred.con.body.xml.gz	2004-04-08 01:28	930
	S_pred.con.proof_tree.xml.gz	2004-04-09 18:52	679
	S_pred.con.types.xml.gz	2004-04-08 01:28	1.2K
	S_pred.con.xml.gz	2004-04-08 01:28	492
	le_lt_n_Sm.con.body.xml.gz	2004-04-08 01:28	476
	le_lt_n_Sm.con.proof_tree.xml.gz	2004-04-09 18:52	786
	le_lt_n_Sm.con.types.xml.gz	2004-04-08 01:28	610
	le_lt_n_Sm.con.xml.gz	2004-04-08 01:28	463
	le_lt_or_eq.con.body.xml.gz	2004-04-08 01:28	1.0K
	le_lt_or_eq.con.proof_tree.xml.gz	2004-04-09 18:52	680
	le_lt_or_eq.con.types.xml.gz	2004-04-08 01:28	1.1K
	le_lt_or_eq.con.xml.gz	2004-04-08 01:28	496
	le_lt_trans.con.body.xml.gz	2004-04-08 01:28	882
	le_lt_trans.con.proof_tree.xml.gz	2004-04-09 18:52	657
	le_lt_trans.con.types.xml.gz	2004-04-08 01:28	1.0K
	le_lt_trans.con.xml.gz	2004-04-08 01:28	475
	le_not_lt.con.body.xml.gz	2004-04-08 01:28	901
	le_not_lt.con.proof_tree.xml.gz	2004-04-09 18:52	623
	le_not_lt.con.types.xml.gz	2004-04-08 01:28	1.1K
	le_not_lt.con.xml.gz	2004-04-08 01:28	455
	le_or_lt.con.body.xml.gz	2004-04-08 01:28	1.5K
	le_or_lt.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	le_or_lt.con.types.xml.gz	2004-04-08 01:28	2.1K
	le_or_lt.con.xml.gz	2004-04-08 01:28	441
	lt_O_Sn.con.body.xml.gz	2004-04-08 01:28	428
	lt_O_Sn.con.proof_tree.xml.gz	2004-04-09 18:52	658
	lt_O_Sn.con.types.xml.gz	2004-04-08 01:28	589
	lt_O_Sn.con.xml.gz	2004-04-08 01:28	402
	lt_O_neq.con.body.xml.gz	2004-04-08 01:28	802
	lt_O_neq.con.proof_tree.xml.gz	2004-04-09 18:52	624
	lt_O_neq.con.types.xml.gz	2004-04-08 01:28	933
	lt_O_neq.con.xml.gz	2004-04-08 01:28	467
	lt_S.con.body.xml.gz	2004-04-08 01:28	500
	lt_S.con.proof_tree.xml.gz	2004-04-09 18:52	777
	lt_S.con.types.xml.gz	2004-04-08 01:28	659
	lt_S.con.xml.gz	2004-04-08 01:28	450
	lt_S_n.con.body.xml.gz	2004-04-08 01:28	531
	lt_S_n.con.proof_tree.xml.gz	2004-04-09 18:52	807
	lt_S_n.con.types.xml.gz	2004-04-08 01:28	602
	lt_S_n.con.xml.gz	2004-04-08 01:28	470
	lt_asym.con.body.xml.gz	2004-04-08 01:28	962
	lt_asym.con.proof_tree.xml.gz	2004-04-09 18:52	616
	lt_asym.con.types.xml.gz	2004-04-08 01:28	1.2K
	lt_asym.con.xml.gz	2004-04-08 01:28	447
	lt_irrefl.con.body.xml.gz	2004-04-08 01:28	247
	lt_irrefl.con.proof_tree.xml.gz	2004-04-09 18:52	636
	lt_irrefl.con.types.xml.gz	2004-04-08 01:28	525
	lt_irrefl.con.xml.gz	2004-04-08 01:28	395
	lt_le_S.con.body.xml.gz	2004-04-08 01:28	430
	lt_le_S.con.proof_tree.xml.gz	2004-04-09 18:52	789
	lt_le_S.con.types.xml.gz	2004-04-08 01:28	589
	lt_le_S.con.xml.gz	2004-04-08 01:28	463
	lt_le_trans.con.body.xml.gz	2004-04-08 01:28	812
	lt_le_trans.con.proof_tree.xml.gz	2004-04-09 18:52	660
	lt_le_trans.con.types.xml.gz	2004-04-08 01:28	866
	lt_le_trans.con.xml.gz	2004-04-08 01:28	479
	lt_le_weak.con.body.xml.gz	2004-04-08 01:28	479
	lt_le_weak.con.proof_tree.xml.gz	2004-04-09 18:52	719
	lt_le_weak.con.types.xml.gz	2004-04-08 01:28	596
	lt_le_weak.con.xml.gz	2004-04-08 01:28	432
	lt_n_O.con.body.xml.gz	2004-04-08 01:28	240
	lt_n_O.con.proof_tree.xml.gz	2004-04-09 18:52	657
	lt_n_O.con.types.xml.gz	2004-04-08 01:28	522
	lt_n_O.con.xml.gz	2004-04-08 01:28	407
	lt_n_S.con.body.xml.gz	2004-04-08 01:28	505
	lt_n_S.con.proof_tree.xml.gz	2004-04-09 18:52	819
	lt_n_S.con.types.xml.gz	2004-04-08 01:28	704
	lt_n_S.con.xml.gz	2004-04-08 01:28	470
	lt_n_Sm_le.con.body.xml.gz	2004-04-08 01:28	515
	lt_n_Sm_le.con.proof_tree.xml.gz	2004-04-09 18:52	788
	lt_n_Sm_le.con.types.xml.gz	2004-04-08 01:28	646
	lt_n_Sm_le.con.xml.gz	2004-04-08 01:28	474
	lt_n_Sn.con.body.xml.gz	2004-04-08 01:28	411
	lt_n_Sn.con.proof_tree.xml.gz	2004-04-09 18:52	654
	lt_n_Sn.con.types.xml.gz	2004-04-08 01:28	552
	lt_n_Sn.con.xml.gz	2004-04-08 01:28	403
	lt_not_le.con.body.xml.gz	2004-04-08 01:28	528
	lt_not_le.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	lt_not_le.con.types.xml.gz	2004-04-08 01:28	614
	lt_not_le.con.xml.gz	2004-04-08 01:28	456
	lt_pred.con.body.xml.gz	2004-04-08 01:28	883
	lt_pred.con.proof_tree.xml.gz	2004-04-09 18:52	662
	lt_pred.con.types.xml.gz	2004-04-08 01:28	1.0K
	lt_pred.con.xml.gz	2004-04-08 01:28	483
	lt_pred_n_n.con.body.xml.gz	2004-04-08 01:28	765
	lt_pred_n_n.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	lt_pred_n_n.con.types.xml.gz	2004-04-08 01:28	956
	lt_pred_n_n.con.xml.gz	2004-04-08 01:28	448
	lt_trans.con.body.xml.gz	2004-04-08 01:28	889
	lt_trans.con.proof_tree.xml.gz	2004-04-09 18:52	649
	lt_trans.con.types.xml.gz	2004-04-08 01:28	1.1K
	lt_trans.con.xml.gz	2004-04-08 01:28	464
	nat_total_order.con.body.xml.gz	2004-04-08 01:28	1.4K
	nat_total_order.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	nat_total_order.con.types.xml.gz	2004-04-08 01:28	1.5K
	nat_total_order.con.xml.gz	2004-04-08 01:28	524
	neq_O_lt.con.body.xml.gz	2004-04-08 01:28	1.3K
	neq_O_lt.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	neq_O_lt.con.types.xml.gz	2004-04-08 01:28	1.4K
	neq_O_lt.con.xml.gz	2004-04-08 01:28	462