src/HOL/Decision_Procs/ferrante_rackoff.ML
changeset 41648 6d736d983d5c
parent 40314 b5ec88d9ac03
child 43333 2bdec7f430d3