- Revision 29579: /erg/tags/2020/openproof/scripts

• ..
• 712goals.txt
• corpus_test.py
• e2e.py
• fol2umrs.py
• fol2umrs.pyc
• goals.txt
• infix_to_prefix.pyc
• list2tuple.py
• list2tuple.pyc
• process.py
• process.pyc
• process.txt
• samples.txt
• xmlify