Attic/abacus.thy
changeset 229 d8e6f0798e23
parent 127 469c26d19f8e
equal deleted inserted replaced
228:e9ef4ada308b 229:d8e6f0798e23