Index of /xml/Coq/Wellfounded/Lexicographic_Exponentiation
Name
Last modified
Size
Description
Parent Directory
-
INDEX
2005-07-05 08:11
523
Wf_Lexicographic_Exponentiation/
2005-07-05 08:13
-
acc_app.con.body.xml.gz
2004-04-08 01:34
1.4K
acc_app.con.proof_tree.xml.gz
2004-04-09 18:52
4.0K
acc_app.con.types.xml.gz
2004-04-08 01:34
1.7K
acc_app.con.xml.gz
2004-04-08 01:34
1.2K
desc_end.con.body.xml.gz
2004-04-08 01:34
53K
desc_end.con.proof_tree.xml.gz
2004-04-09 18:52
122K
desc_end.con.types.xml.gz
2004-04-08 01:34
59K
desc_end.con.xml.gz
2004-04-08 01:34
1.0K
desc_prefix.con.body.xml.gz
2004-04-08 01:34
13K
desc_prefix.con.proof_tree.xml.gz
2004-04-09 18:52
25K
desc_prefix.con.types.xml.gz
2004-04-08 01:34
13K
desc_prefix.con.xml.gz
2004-04-08 01:34
719
desc_tail.con.body.xml.gz
2004-04-08 01:34
32K
desc_tail.con.proof_tree.xml.gz
2004-04-09 18:52
65K
desc_tail.con.types.xml.gz
2004-04-08 01:34
34K
desc_tail.con.xml.gz
2004-04-08 01:34
804
dist_Desc_concat.con.body.xml.gz
2004-04-08 01:34
836
dist_Desc_concat.con.proof_tree.xml.gz
2004-04-09 18:52
1.9K
dist_Desc_concat.con.types.xml.gz
2004-04-08 01:34
948
dist_Desc_concat.con.xml.gz
2004-04-08 01:34
725
dist_aux.con.body.xml.gz
2004-04-08 01:34
28K
dist_aux.con.proof_tree.xml.gz
2004-04-09 18:52
75K
dist_aux.con.types.xml.gz
2004-04-08 01:34
36K
dist_aux.con.xml.gz
2004-04-08 01:34
799
left_prefix.con.body.xml.gz
2004-04-08 01:34
19K
left_prefix.con.proof_tree.xml.gz
2004-04-09 18:52
52K
left_prefix.con.types.xml.gz
2004-04-08 01:34
24K
left_prefix.con.xml.gz
2004-04-08 01:34
689
ltl_unit.con.body.xml.gz
2004-04-08 01:34
31K
ltl_unit.con.proof_tree.xml.gz
2004-04-09 18:52
80K
ltl_unit.con.types.xml.gz
2004-04-08 01:34
42K
ltl_unit.con.xml.gz
2004-04-08 01:34
939
right_prefix.con.body.xml.gz
2004-04-08 01:34
28K
right_prefix.con.proof_tree.xml.gz
2004-04-09 18:52
71K
right_prefix.con.types.xml.gz
2004-04-08 01:34
48K
right_prefix.con.xml.gz
2004-04-08 01:34
1.0K
wf_lex_exp.con.body.xml.gz
2004-04-08 01:34
29K
wf_lex_exp.con.proof_tree.xml.gz
2004-04-09 18:52
81K
wf_lex_exp.con.types.xml.gz
2004-04-08 01:34
43K
wf_lex_exp.con.xml.gz
2004-04-08 01:34
519
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80