equal
deleted
inserted
replaced
122 |
122 |
123 (* print_bundles *) |
123 (* print_bundles *) |
124 |
124 |
125 fun print_bundles verbose ctxt = |
125 fun print_bundles verbose ctxt = |
126 let |
126 let |
127 val prt_thm = Pretty.backquote o Thm.pretty_thm ctxt; |
127 val prt_thm = Pretty.cartouche o Thm.pretty_thm ctxt; |
128 |
128 |
129 fun prt_fact (ths, []) = map prt_thm ths |
129 fun prt_fact (ths, []) = map prt_thm ths |
130 | prt_fact (ths, atts) = Pretty.enclose "(" ")" |
130 | prt_fact (ths, atts) = Pretty.enclose "(" ")" |
131 (Pretty.breaks (map prt_thm ths)) :: Attrib.pretty_attribs ctxt atts; |
131 (Pretty.breaks (map prt_thm ths)) :: Attrib.pretty_attribs ctxt atts; |
132 |
132 |