Index of /xml/Coq/Arith/Gt

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	959
	gt_O_eq.con.body.xml.gz	2004-04-08 01:28	481
	gt_O_eq.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	gt_O_eq.con.types.xml.gz	2004-04-08 01:28	727
	gt_O_eq.con.xml.gz	2004-04-08 01:28	450
	gt_S.con.body.xml.gz	2004-04-08 01:28	551
	gt_S.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	gt_S.con.types.xml.gz	2004-04-08 01:28	821
	gt_S.con.xml.gz	2004-04-08 01:28	522
	gt_S_le.con.body.xml.gz	2004-04-08 01:28	408
	gt_S_le.con.proof_tree.xml.gz	2004-04-09 18:52	972
	gt_S_le.con.types.xml.gz	2004-04-08 01:28	642
	gt_S_le.con.xml.gz	2004-04-08 01:28	472
	gt_S_n.con.body.xml.gz	2004-04-08 01:28	538
	gt_S_n.con.proof_tree.xml.gz	2004-04-09 18:52	809
	gt_S_n.con.types.xml.gz	2004-04-08 01:28	703
	gt_S_n.con.xml.gz	2004-04-08 01:28	470
	gt_Sn_O.con.body.xml.gz	2004-04-08 01:28	451
	gt_Sn_O.con.proof_tree.xml.gz	2004-04-09 18:52	656
	gt_Sn_O.con.types.xml.gz	2004-04-08 01:28	602
	gt_Sn_O.con.xml.gz	2004-04-08 01:28	403
	gt_Sn_n.con.body.xml.gz	2004-04-08 01:28	412
	gt_Sn_n.con.proof_tree.xml.gz	2004-04-09 18:52	655
	gt_Sn_n.con.types.xml.gz	2004-04-08 01:28	555
	gt_Sn_n.con.xml.gz	2004-04-08 01:28	400
	gt_asym.con.body.xml.gz	2004-04-08 01:28	403
	gt_asym.con.proof_tree.xml.gz	2004-04-09 18:52	787
	gt_asym.con.types.xml.gz	2004-04-08 01:28	626
	gt_asym.con.xml.gz	2004-04-08 01:28	447
	gt_irrefl.con.body.xml.gz	2004-04-08 01:28	243
	gt_irrefl.con.proof_tree.xml.gz	2004-04-09 18:52	641
	gt_irrefl.con.types.xml.gz	2004-04-08 01:28	479
	gt_irrefl.con.xml.gz	2004-04-08 01:28	397
	gt_le_S.con.body.xml.gz	2004-04-08 01:28	429
	gt_le_S.con.proof_tree.xml.gz	2004-04-09 18:52	792
	gt_le_S.con.types.xml.gz	2004-04-08 01:28	594
	gt_le_S.con.xml.gz	2004-04-08 01:28	465
	gt_le_trans.con.body.xml.gz	2004-04-08 01:28	563
	gt_le_trans.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	gt_le_trans.con.types.xml.gz	2004-04-08 01:28	635
	gt_le_trans.con.xml.gz	2004-04-08 01:28	485
	gt_n_S.con.body.xml.gz	2004-04-08 01:28	505
	gt_n_S.con.proof_tree.xml.gz	2004-04-09 18:52	820
	gt_n_S.con.types.xml.gz	2004-04-08 01:28	706
	gt_n_S.con.xml.gz	2004-04-08 01:28	470
	gt_not_le.con.body.xml.gz	2004-04-08 01:28	476
	gt_not_le.con.proof_tree.xml.gz	2004-04-09 18:52	779
	gt_not_le.con.types.xml.gz	2004-04-08 01:28	615
	gt_not_le.con.xml.gz	2004-04-08 01:28	458
	gt_pred.con.body.xml.gz	2004-04-08 01:28	512
	gt_pred.con.proof_tree.xml.gz	2004-04-09 18:52	823
	gt_pred.con.types.xml.gz	2004-04-08 01:28	681
	gt_pred.con.xml.gz	2004-04-08 01:28	480
	gt_trans.con.body.xml.gz	2004-04-08 01:28	544
	gt_trans.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	gt_trans.con.types.xml.gz	2004-04-08 01:28	668
	gt_trans.con.xml.gz	2004-04-08 01:28	470
	gt_trans_S.con.body.xml.gz	2004-04-08 01:28	630
	gt_trans_S.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	gt_trans_S.con.types.xml.gz	2004-04-08 01:28	783
	gt_trans_S.con.xml.gz	2004-04-08 01:28	506
	le_S_gt.con.body.xml.gz	2004-04-08 01:28	462
	le_S_gt.con.proof_tree.xml.gz	2004-04-09 18:52	783
	le_S_gt.con.types.xml.gz	2004-04-08 01:28	593
	le_S_gt.con.xml.gz	2004-04-08 01:28	464
	le_gt_S.con.body.xml.gz	2004-04-08 01:28	549
	le_gt_S.con.proof_tree.xml.gz	2004-04-09 18:52	790
	le_gt_S.con.types.xml.gz	2004-04-08 01:28	678
	le_gt_S.con.xml.gz	2004-04-08 01:28	464
	le_gt_trans.con.body.xml.gz	2004-04-08 01:28	559
	le_gt_trans.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	le_gt_trans.con.types.xml.gz	2004-04-08 01:28	631
	le_gt_trans.con.xml.gz	2004-04-08 01:28	476
	le_not_gt.con.body.xml.gz	2004-04-08 01:28	244
	le_not_gt.con.proof_tree.xml.gz	2004-04-09 18:52	777
	le_not_gt.con.types.xml.gz	2004-04-08 01:28	580
	le_not_gt.con.xml.gz	2004-04-08 01:28	453
	plus_gt_compat_l.con.body.xml.gz	2004-04-08 01:28	516
	plus_gt_compat_l.con.proof_tree.xml.gz	2004-04-09 18:52	873
	plus_gt_compat_l.con.types.xml.gz	2004-04-08 01:28	729
	plus_gt_compat_l.con.xml.gz	2004-04-08 01:28	504
	plus_gt_reg_l.con.body.xml.gz	2004-04-08 01:28	562
	plus_gt_reg_l.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	plus_gt_reg_l.con.types.xml.gz	2004-04-08 01:28	722
	plus_gt_reg_l.con.xml.gz	2004-04-08 01:28	501