thys/abacus.thy
changeset 157 fe0e6733b9e4
parent 115 653426ed4b38
equal deleted inserted replaced
156:7c9dbacc6c7c 157:fe0e6733b9e4