src/FOLP/classical.ML
changeset 13735 7de9342aca7a
parent 4653 d60f76680bf4
child 15570 8d8c70b41bab