src/HOL/Modelcheck/mucke_oracle.ML
changeset 9502 50ec59aff389
parent 7305 dad3b686941c
child 14818 ad83019a66a4