src/FOLP/classical.ML
changeset 15106 e8cef6993701
parent 4653 d60f76680bf4
child 15570 8d8c70b41bab