# isabelle_session_info

session_name: HOL-Decision_Procs
sources: e60d8248c1479700dcd545043496ae9e216b3de4
input_heaps:
9884737fddd3e6081253c712523f8ecc142c72ee
a26171661ac87092335660b10885b138f2715297
4635c60c913dcc5f9239b81dba841b472bc64dcd
211525a3c0f8cdfeb130c0cd1cf1f8ab186e6482
cece2d85afe7aab198b971bcb46d3200a0614c65


