thys2/Thm_inst.thy
2014-09-13 Xingyuan Zhang thys2 added
less more (0) tip