src/HOL/ex/Commands.thy
changeset 63343 fb5d8a50c641
parent 59936 b8ffc3dc9e24
child 67096 e77f13a6a501
equal deleted inserted replaced
63342:49fa6aaa4529 63343:fb5d8a50c641