# isabelle_session_info

session_name: HOL-Decision_Procs
sources: d3f498eb1304bbd85fd564e44fec3838655aaf3a
input_heaps:
b491cc52c6cddfbd176c595fe2bbf3ae3351103c
e27039ae01fdef480895181a97cad563e945f770
07ae367b9b6b04e6f8ed611586792e0303739300
49c3389d37e6716130e2a81b263fc3857bb10073
ecc9fbe173f467e61bf96013618a11d4290e04ca


