Lines Matching defs:out_file
2658 out_file = sys.stdout
2692 out_file = OutputFile(args[1])
2707 if out_file == sys.stdout:
2710 out_file.filename = os.path.abspath(options.thy_output_path)
2717 options.output = out_file
2785 print("theory %s_defs" % module_name, file=out_file)
2788 os.path.dirname(out_file.filename))), file=out_file)
2789 print("begin", file=out_file)
2790 print(file=out_file)
2792 print(defs_global_lemmas, file=out_file)
2793 print(file=out_file)
2798 print("end", file=out_file)
2800 print("theory %s_defs" % module_name, file=out_file)
2801 print("imports", file=out_file)
2804 os.path.dirname(out_file.filename))), file=out_file)
2807 file=out_file)
2808 print("begin", file=out_file)
2809 print("end", file=out_file)
2816 out_file = OutputFile(options.multifile_base + "_" +
2821 os.path.dirname(out_file.filename))),
2822 file=out_file)
2823 print(file=out_file)
2825 options.output = out_file
2828 print("end", file=out_file)
2850 print("theory %s_proofs" % module_name, file=out_file)
2851 print("imports %s_defs" % module_name, file=out_file)
2852 print("begin", file=out_file)
2853 print(file=out_file)
2854 print(file=out_file)
2859 print("end", file=out_file)
2862 print("theory %s_proofs" % module_name, file=out_file)
2863 print("imports", file=out_file)
2866 file=out_file)
2867 print("begin", file=out_file)
2868 print("end", file=out_file)
2875 out_file = OutputFile(options.multifile_base + "_" +
2881 file=out_file)
2882 print(file=out_file)
2884 options.output = out_file
2887 print("end", file=out_file)
2889 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
2891 {'guard': guard}, file=out_file)
2893 INCLUDES[options.environment])), file=out_file)
2896 print("#endif", file=out_file)