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