src/FOLP/classical.ML
changeset 15106 e8cef6993701
parent 4653 d60f76680bf4
child 15570 8d8c70b41bab
equal deleted inserted replaced
15105:e194d4d265fb 15106:e8cef6993701