thys/Abacus.thy
changeset 229 d8e6f0798e23
parent 190 f1ecb4a68a54
child 285 447b433b67fa
equal deleted inserted replaced
228:e9ef4ada308b 229:d8e6f0798e23