# isabelle_session_info

session_name: HOL-Decision_Procs
sources: bb60eb460abc156c0eb9aa65a0a4577ee0b3b0f2
uuid: 9fbf034c-a796-4be5-ae4b-9d8771ee3292
input_heaps:
57c0f5e026d063dde70715052c371cec902bf3d9
4dad8d5a2ce1d7720f00f928eedc0ec02a1f93e5
afdd3bdaf0a6c6750aa59f473cc890c460f5d8da
e74de8a4d3ba30e3fd07b81bd59da0ef755a9a86
3e3e1fd94734d5aace782f34330cc29cb16a59e6


