Index of books/meta

Files

• meta-plus-equal
• meta-plus-lessp
• meta-times-equal
• meta
• pseudo-termp-lemmas
• term-defuns
• term-lemmas