Index of /xml/Coq/Logic/JMeq
Name
Last modified
Size
Description
Parent Directory
-
JMeq_eq_dep.con.proof_tree.xml.gz
2004-04-09 18:52
1.7K
eq_dep_JMeq.con.proof_tree.xml.gz
2004-04-09 18:52
1.5K
JMeq_rec_r.con.proof_tree.xml.gz
2004-04-09 18:52
1.3K
JMeq_rec.con.proof_tree.xml.gz
2004-04-09 18:52
1.3K
trans_JMeq.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_ind.con.proof_tree.xml.gz
2004-04-09 18:52
1.2K
sym_JMeq.con.proof_tree.xml.gz
2004-04-09 18:52
1.0K
JMeq_eq_dep.con.body.xml.gz
2004-04-08 01:28
896
trans_JMeq.con.body.xml.gz
2004-04-08 01:27
866
JMeq_eq_dep.con.types.xml.gz
2004-04-08 01:28
842
eq_dep_JMeq.con.body.xml.gz
2004-04-08 01:28
832
JMeq_ind_r.con.body.xml.gz
2004-04-08 01:28
813
JMeq_rec_r.con.body.xml.gz
2004-04-08 01:28
810
JMeq_rect.con.body.xml.gz
2004-04-08 01:27
759
JMeq_ind.con.body.xml.gz
2004-04-08 01:28
759
trans_JMeq.con.types.xml.gz
2004-04-08 01:27
752
JMeq_rec.con.body.xml.gz
2004-04-08 01:28
751
eq_dep_JMeq.con.types.xml.gz
2004-04-08 01:28
739
sym_JMeq.con.body.xml.gz
2004-04-08 01:27
714
JMeq_ind_r.con.types.xml.gz
2004-04-08 01:28
675
JMeq_ind.con.types.xml.gz
2004-04-08 01:28
633
eq_dep_JMeq.con.xml.gz
2004-04-08 01:28
616
JMeq_eq_dep.con.xml.gz
2004-04-08 01:28
611
sym_JMeq.con.types.xml.gz
2004-04-08 01:27
602
JMeq_rect.con.xml.gz
2004-04-08 01:27
569
trans_JMeq.con.xml.gz
2004-04-08 01:27
561
JMeq_ind_r.con.xml.gz
2004-04-08 01:28
528
JMeq_rec_r.con.xml.gz
2004-04-08 01:28
519
JMeq_ind.con.xml.gz
2004-04-08 01:27
517
JMeq_rec.con.xml.gz
2004-04-08 01:28
509
JMeq.ind.xml.gz
2004-04-08 01:27
509
sym_JMeq.con.xml.gz
2004-04-08 01:27
489
INDEX
2005-07-05 08:11
485
JMeq_eq.con.xml.gz
2004-04-08 01:27
453
JMeq_rec_r.con.types.xml.gz
2004-04-08 01:28
398
JMeq_rec.con.types.xml.gz
2004-04-08 01:28
352
JMeq_rect.con.types.xml.gz
2004-04-08 01:27
198
JMeq_eq.con.types.xml.gz
2004-04-08 01:27
194
JMeq.ind.types.xml.gz
2004-04-08 01:27
187
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80