equal
deleted
inserted
replaced
666 ATP_Theory_Export |
666 ATP_Theory_Export |
667 MaSh_Eval |
667 MaSh_Eval |
668 MaSh_Export |
668 MaSh_Export |
669 TPTP_Interpret |
669 TPTP_Interpret |
670 THF_Arith |
670 THF_Arith |
|
671 TPTP_Proof_Reconstruction |
671 theories |
672 theories |
672 ATP_Problem_Import |
673 ATP_Problem_Import |
673 |
674 |
674 session "HOL-Multivariate_Analysis" (main) in Multivariate_Analysis = HOL + |
675 session "HOL-Multivariate_Analysis" (main) in Multivariate_Analysis = HOL + |
675 options [document_graph] |
676 options [document_graph] |