src/HOL/ex/Multiquote.thy
changeset 47842 bfc08ce7b7b9
parent 35113 1a0c129bb2e0
child 52143 36ffe23b25f8