src/HOL/Tools/res_axioms.ML
changeset 20328 5b240a4216b0
parent 20292 6f2b8ed987ec
child 20362 bbff23c3e2ca