beautified spacing for binders with symbols syntax, analogous to HOL.thy
(* Title: HOL/subset.thy ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1994 University of Cambridge*)theory subset = Setfiles "Tools/typedef_package.ML":setup rulify_prems_attrib_setupend