# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 8d9801bc79530b75cc2cdeffeda1825745bdc155
input_heaps:
bbe5847e310595c720c365f3cee328952d2bbbc1
7d7164aeace04141c8f5bcb7d9fbb94248795f35
91c9d764198d5c3056274ad08de9933e915cdd17
b3557ba1336eea374ed7e5e834fce435b90ae887
62390a4dff299203c946d533ff382088b242ec5e


