thys/Abacus_Mopup.thy
2013-02-15 Jian Xu remove dead code in Abacus_mopup
2013-02-15 Christian Urban split Mopup TM into a separate file
less more (0) tip