![[DIR]](/icons/back.gif){kind=icon}
Parent Directory| -15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01 | page 01 of 03 |
| +01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15 | <- Back | Next page -> |
![[ ]](/icons/unknown.gif){kind=icon} axioms.clauses | ||
| axioms.decl | ||
| defs.first_order | ||
| demods.first_order | ||
| equality_ax.first_order | ||
| lemma10.clauses | ||
| lemma10.desc | ||
| lemma11.clauses | ||
| lemma11.desc | ||
| lemma12.clauses | ||
| lemma12.desc | ||
| lemma13.clauses | ||
| lemma13.desc | ||
| lemma14.clauses | ||
| lemma14.desc | ||
| lemma15.clauses | ||
| lemma15.desc | ||
| lemma16.clauses | ||
| lemma16.desc | ||
| lemma17.clauses | ||
| lemma17.desc | ||
| lemma18.clauses | ||
| lemma18.desc | ||
| lemma19.clauses | ||
| lemma19.desc | ||
| lemma1a.clauses | ||
| lemma1a.desc | ||
| lemma1a.in | ||
| lemma1a.pf | ||
| lemma1b.clauses |
| -15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01 | page 01 of 03 |
| +01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15 | <- Back | Next page -> |