code reorg in a.thy
code reorg in a.thy