src/HOL/ex/CodeEval.thy
changeset 21966 edab0ecfbd7c
parent 21924 fe474e69e603
child 22005 0faa5afd5d69