- Revision 29512: /erg/tags/2023/openproof

• ..
• 7-12.txt
• Notes.txt
• README
• Version-op.lsp
• config-inflate.tdl
• config.tdl
• constr-op.tdl
• fols.txt
• inflate-op.tdl
• inflate.mtr
• lex-openproof.tdl
• lexrinst.tdl
• mtr-op.tdl
• no.onlyif
• no.onlyif+prov
• no.optthen
• no.pairs
• no.prov
• nogen-rules.set
• openproof.mtr
• out.txt
• out7-12.txt
• paraphrase-op.tdl
• prorder.tdl
• req.dropthen
• roots-op.tdl
• ruledefs.txt
• rules.agg
• rules.all
• rules.conn
• rules.ellip
• rules.mod
• rules.none
• rules.one
• rules.part
• rules.pro
• runfol
• runfols-batch
• runfols712-batch
• samples.txt
• scripts/
• semi-inflate.vpm
• semi-para.vpm
• semi.vpm
• test/
• trig-op.mtr
• types-op.tdl