proper installation of ancient procedure for preorders --HG-- rename : src/Provers/quasi.ML => src/Provers/preorder.ML extra : rebase_source : 31a5d8baf7160b2063e56426ae5bc6f8fe53da89