# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 5b27e745e1a9b250ba5cb70f6e0bf18e5c481089
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
e71e14a4803a9741ead2aefcee7360a997c650e5
57b412520451206f55ed335320853e88912398f3
634e5c2ccb922ef122ebaf455e2ca96b198d1757
63a155a5637589a525035064e56d556c8dc09683


