# isabelle_session_info

session_name: HOL-Decision_Procs
sources: e1a20d1a5c4d116e0faa225f43cdf1adccefdd79
uuid: 2e911d87-f30e-40e4-8230-4dcad854df51
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
f38759d1fce3ae187eeffcb386dd6fb5dc5783a4
4d2a82bf7f909bde7a1da7a64b00aff1834a9cdc
2cf8df6507c8768eab73591c74f95091f87b08bb


