Attic/abacus.thy
changeset 157 fe0e6733b9e4
parent 127 469c26d19f8e
equal deleted inserted replaced
156:7c9dbacc6c7c 157:fe0e6733b9e4