Lines Matching refs:print_string
40 val _ = print_string "MOVEQS\n"
181 let val _ = print_string "TACF: xs = "
184 val _ = print_string "vs = "
187 val _ = print_string "map (findx xs) vs = "
297 val _ = print_string "Repaired induction theorem:\n"
299 val _ = print_string "\n"
309 val _ = print_string "eta_th:\n"
311 val _ = print_string "\n"
319 val _ = print_string "ind:\n"
321 val _ = print_string "\n"
348 val _ = print_string "ts_thm:\n"
350 val _ = print_string "\n"
358 val _ = print_string "spec:\n"
360 val _ = print_string "\n"
365 val _ = print_string "beta:\n"
367 val _ = print_string "\n"