src/HOL/SVC_Oracle.thy
changeset 10168 50be659d4222
parent 7237 2919daadba91