src/FOLP/classical.ML
changeset 64378 e9eb0b99a44c
parent 61268 abe08fb15a12
equal deleted inserted replaced
64377:c1db9e3fe0e2 64378:e9eb0b99a44c