Implementation.thy
changeset 112 b3795b1f030b
parent 108 b769f43deb30
child 113 ce85c3c4e5bf
equal deleted inserted replaced
111:4b416723a616 112:b3795b1f030b