diff -r e9ef4ada308b -r d8e6f0798e23 thys/Abacus.thy