src/Provers/preorder.ML
5 months ago haftmann 2019-02-15 proper installation of ancient procedure for preorders