src/HOL/ex/Eval_Examples.thy
changeset 51618 a3577cd80c41
parent 45170 7dd207fe7b6e
child 56927 4044a7d1720f