# isabelle_session_info

session_name: HOL-Decision_Procs
sources: e40f32a1396a946c28dd35a185f01833f1acffe6
input_heaps:
c76929b29fb501c0707c014cb283a2ded47b4e36
17c70744705ab67f304331b243d3ae7a45b8980f
1cf5c2fb1f5fb56ccdb24b8e1264e6abc91736e5
dc12e28bdf559eec0f2a3e592fc2c712d772a9b9
0b87ca7b4e3cf3b7c9a7fb7b13ea9d54f89e4494


