Lines Matching defs:parents
219 parents:string list,
222 parents:string list,
366 (v,Class { name = n,parents = ps,
375 (v,Locale { name = n,parents = ps,
632 (* name * parents * assumes * fixes *)
638 ex-locale axioms * parents *)
710 fun theory_of_string body parents =
715 Position.start text parents) end
819 val parents' = List.concat (List.map
823 val parents = List.map (fn n => String.substring
826 (not (String.isPrefix "HOL" n))) parents')
837 in (name,parents,axioms,#params i) end) cls_names end
840 let val all_locales = fn T => List.map (fn l => (#name l, #parents l))
916 val parents = List.map repr_name ps
923 in (Pretty.block o Pretty.breaks) (head@(Pretty.separate "+" parents)@
924 (if length (fixes'@assumes') > 0 andalso length parents > 0
935 val parents = List.map repr_name ps
942 in (Pretty.block o Pretty.breaks) (head@(Pretty.separate "+" parents)@
943 (if length (fixes'@assumes') > 0 andalso length parents > 0
1064 fun xml_of_class T (name,parents,assumps,fixes) =
1067 XML.Elem (("Parent",[("name",Long_Name.base_name p)]),[])) parents)
1075 fun xml_of_locale T (name,fixes,assumps,thms,parents) =
1088 XML.Elem (("Parent",[("name",Long_Name.base_name p)]),[])) parents))