equal
deleted
inserted
replaced
262 (* errors *) |
262 (* errors *) |
263 |
263 |
264 fun of_theory sg = "\nof theory " ^ str_of_sg sg; |
264 fun of_theory sg = "\nof theory " ^ str_of_sg sg; |
265 |
265 |
266 fun err_method name kind = |
266 fun err_method name kind = |
267 error ("Error while invoking " ^ quote kind ^ " method " ^ name); |
267 error ("Error while invoking " ^ quote kind ^ " " ^ name ^ " method"); |
268 |
268 |
269 fun err_dup_init sg kind = |
269 fun err_dup_init sg kind = |
270 error ("Duplicate initialization of " ^ quote kind ^ " data" ^ of_theory sg); |
270 error ("Duplicate initialization of " ^ quote kind ^ " data" ^ of_theory sg); |
271 |
271 |
272 fun err_uninit sg kind = |
272 fun err_uninit sg kind = |