Index of /xml/Coq/Init/Logic_Type
Name
Last modified
Size
Description
Parent Directory
-
trans_id.con.xml.gz
2004-04-08 01:27
433
trans_id.con.types.xml.gz
2004-04-08 01:27
197
trans_id.con.proof_tree.xml.gz
2004-04-09 18:52
1.0K
trans_id.con.body.xml.gz
2004-04-08 01:27
657
sym_not_id.con.xml.gz
2004-04-08 01:27
447
sym_not_id.con.types.xml.gz
2004-04-08 01:27
681
sym_not_id.con.proof_tree.xml.gz
2004-04-09 18:52
1.7K
sym_not_id.con.body.xml.gz
2004-04-08 01:27
963
sym_id.con.xml.gz
2004-04-08 01:27
394
sym_id.con.types.xml.gz
2004-04-08 01:27
194
sym_id.con.proof_tree.xml.gz
2004-04-09 18:52
1.0K
sym_id.con.body.xml.gz
2004-04-08 01:27
651
sndT.con.xml.gz
2004-04-08 01:27
343
sndT.con.types.xml.gz
2004-04-08 01:27
190
sndT.con.body.xml.gz
2004-04-08 01:27
546
prodT_uncurry.con.xml.gz
2004-04-08 01:27
462
prodT_uncurry.con.types.xml.gz
2004-04-08 01:27
206
prodT_uncurry.con.body.xml.gz
2004-04-08 01:27
589
prodT_rect.con.xml.gz
2004-04-08 01:27
627
prodT_rect.con.types.xml.gz
2004-04-08 01:27
201
prodT_rect.con.body.xml.gz
2004-04-08 01:27
788
prodT_rec.con.xml.gz
2004-04-08 01:27
628
prodT_rec.con.types.xml.gz
2004-04-08 01:27
199
prodT_rec.con.body.xml.gz
2004-04-08 01:27
498
prodT_proj/
2005-07-05 08:12
-
prodT_ind.con.xml.gz
2004-04-08 01:27
634
prodT_ind.con.types.xml.gz
2004-04-08 01:27
817
prodT_ind.con.body.xml.gz
2004-04-08 01:27
498
prodT_curry.con.xml.gz
2004-04-08 01:27
446
prodT_curry.con.types.xml.gz
2004-04-08 01:27
203
prodT_curry.con.body.xml.gz
2004-04-08 01:27
690
prodT.ind.xml.gz
2004-04-08 01:27
479
prodT.ind.types.xml.gz
2004-04-08 01:27
192
notT.con.xml.gz
2004-04-08 01:27
248
notT.con.types.xml.gz
2004-04-08 01:27
190
notT.con.body.xml.gz
2004-04-08 01:27
362
identity_rect_r.con.xml.gz
2004-04-08 01:27
512
identity_rect_r.con.types.xml.gz
2004-04-08 01:27
209
identity_rect_r.con.proof_tree.xml.gz
2004-04-09 18:52
1.3K
identity_rect_r.con.body.xml.gz
2004-04-08 01:27
850
identity_rec_r.con.xml.gz
2004-04-08 01:27
512
identity_rec_r.con.types.xml.gz
2004-04-08 01:27
207
identity_rec_r.con.proof_tree.xml.gz
2004-04-09 18:52
1.3K
identity_rec_r.con.body.xml.gz
2004-04-08 01:27
859
identity_is_a_congruence/
2005-07-05 08:12
-
identity_ind_r.con.xml.gz
2004-04-08 01:27
525
identity_ind_r.con.types.xml.gz
2004-04-08 01:27
596
identity_ind_r.con.proof_tree.xml.gz
2004-04-09 18:52
1.3K
identity_ind_r.con.body.xml.gz
2004-04-08 01:27
866
fstT.con.xml.gz
2004-04-08 01:27
343
fstT.con.types.xml.gz
2004-04-08 01:27
191
fstT.con.body.xml.gz
2004-04-08 01:27
552
congr_id.con.xml.gz
2004-04-08 01:27
444
congr_id.con.types.xml.gz
2004-04-08 01:27
197
congr_id.con.proof_tree.xml.gz
2004-04-09 18:52
1.1K
congr_id.con.body.xml.gz
2004-04-08 01:27
715
INDEX
2005-07-05 08:10
785
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80