# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 31ef08c385c2822c38cb19a05e8c76523fee41f5
input_heaps:
314b2178d6c03158f9c84b2630cc69b9a5064111
9325af987c821775600f0a5773feea39c85e86ed
e9e8bc6ea122225977f56653d3af82bedf48de4a
6adfcbaf48ff6ba9b7cb0ba98bc3896f2e3781db
fa2c93e365659f9ad7650acb2f0d69f90c3e850c


