src/HOL/SVC_Oracle.ML
changeset 7584 5be4bb8e4e3f
parent 7539 680eca63b98e
child 11707 6c45813c2db1