# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 08b584abe40fed237c4e76793879ff001e58e348
input_heaps:
8e91ce9e5c85c38eaca3d5b4d08d643be94fba49
c2699dcdd1b9bcf528d04419d33d44cab576004e
eff6045e7d3c0ca3942075b9a209705f9695ff37
2089b3a463d2a5260d6fbcaf9184068c27107503
f0a474997145e07a5c47fe53ebff1b2ffe748361


