IOA/example/Multiset.thy
changeset 167 37a6e2f55230
parent 156 fd1be45b64bf
child 168 44ff2275d44f
equal deleted inserted replaced
166:c59c471126ab 167:37a6e2f55230