src/Provers/preorder.ML
6 weeks ago wenzelm eliminate historic clone (see also 550e36c6a2d1);
2022-09-17 wenzelm proper file headers;
2019-02-15 haftmann proper installation of ancient procedure for preorders
less more (0) tip