Session FOLP

Theories

• IFOLP
  • File ‹~~/src/Tools/misc_legacy.ML›
  • File ‹hypsubst.ML›
  • File ‹intprover.ML›
• FOLP
  • File ‹classical.ML›
  • File ‹simp.ML›
  • File ‹simpdata.ML›