Index of /xml/Coq/Logic/JMeq

	Name	Last modified	Size	Description
	Parent Directory		-
	JMeq.ind.types.xml.gz	2004-04-08 01:27	187
	JMeq.ind.xml.gz	2004-04-08 01:27	509
	JMeq_eq.con.types.xml.gz	2004-04-08 01:27	194
	JMeq_eq.con.xml.gz	2004-04-08 01:27	453
	JMeq_ind.con.xml.gz	2004-04-08 01:27	517
	JMeq_rect.con.body.xml.gz	2004-04-08 01:27	759
	JMeq_rect.con.types.xml.gz	2004-04-08 01:27	198
	JMeq_rect.con.xml.gz	2004-04-08 01:27	569
	sym_JMeq.con.body.xml.gz	2004-04-08 01:27	714
	sym_JMeq.con.types.xml.gz	2004-04-08 01:27	602
	sym_JMeq.con.xml.gz	2004-04-08 01:27	489
	trans_JMeq.con.body.xml.gz	2004-04-08 01:27	866
	trans_JMeq.con.types.xml.gz	2004-04-08 01:27	752
	trans_JMeq.con.xml.gz	2004-04-08 01:27	561
	JMeq_ind.con.body.xml.gz	2004-04-08 01:28	759
	JMeq_ind.con.types.xml.gz	2004-04-08 01:28	633
	JMeq_rec.con.xml.gz	2004-04-08 01:28	509
	JMeq_rec.con.body.xml.gz	2004-04-08 01:28	751
	JMeq_eq_dep.con.body.xml.gz	2004-04-08 01:28	896
	JMeq_eq_dep.con.types.xml.gz	2004-04-08 01:28	842
	JMeq_eq_dep.con.xml.gz	2004-04-08 01:28	611
	JMeq_ind_r.con.body.xml.gz	2004-04-08 01:28	813
	JMeq_ind_r.con.types.xml.gz	2004-04-08 01:28	675
	JMeq_ind_r.con.xml.gz	2004-04-08 01:28	528
	JMeq_rec.con.types.xml.gz	2004-04-08 01:28	352
	JMeq_rec_r.con.body.xml.gz	2004-04-08 01:28	810
	JMeq_rec_r.con.types.xml.gz	2004-04-08 01:28	398
	JMeq_rec_r.con.xml.gz	2004-04-08 01:28	519
	eq_dep_JMeq.con.body.xml.gz	2004-04-08 01:28	832
	eq_dep_JMeq.con.types.xml.gz	2004-04-08 01:28	739
	eq_dep_JMeq.con.xml.gz	2004-04-08 01:28	616
	JMeq_eq_dep.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	JMeq_ind.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	JMeq_ind_r.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	JMeq_rec.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	JMeq_rec_r.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	eq_dep_JMeq.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	sym_JMeq.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	trans_JMeq.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	INDEX	2005-07-05 08:11	485