# isabelle_session_info

session_name: HOL-Decision_Procs
sources: f14768bda12f38789f82bd0621f08f532251d24f
input_heaps:
1c609249c248beb27845e050608bb1c731bea640
eed88ec53d7b43e3c68dcbe53660c1742a20e707
219db3d16d158c8a6eaa2a55b8371d35f70cb715
fc0f26215a871e8d338060b30a4f50e87c4a0e79
2ae99e187ad08b179a36f8c4715169532bec48c9


