# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 47d5660019e6c2adc78939b97f7db1a44cd4e18f
input_heaps:
ee1785166a21b9974f34c6db4735c02d08b16eed
ec22ff8536ec4b5c34ea2196ee11827fbde4653e
580192e2906e5cb024648f0961dd9b47e8e7b64d
b03b01121d4d1b0d8b3f171d41a0a0cc0bf6f947
6e9cfa1516f2b5fd4c7d345be9ee07e07b95996e


