HomeIsabelle/Phabricator

tuned -- avoid confusion of fun_t with fun_lhs;