Pure/library/enclose, Pure/Syntax/pretty/enclose: renamed from parents
Pure/library/is_blank: now handles form feeds () too, in accordance with
ML definition
(*Dummy theory to document dependencies *)
fin = Arith + "inductive" + "constructor" + "intr_elim" + "equalities"