src/HOL/ex/Commands.thy
changeset 63343 fb5d8a50c641
parent 59936 b8ffc3dc9e24
child 67096 e77f13a6a501