abacus.thy
changeset 60 c8ff97d9f8da
parent 35 839e37b75d9a
equal deleted inserted replaced
59:30950dadd09f 60:c8ff97d9f8da