# isabelle_session_info

session_name: HOL-Decision_Procs
sources: fd6fd5e9bb708ab7885683c0e4b54ad7eeaf3a07
input_heaps:
fccc52e90296d6bc1955ae993c338f1f3bed89b4
4c8bcaaf64a69424fe927deafa2ed2aa9a0162f8
ed16e33af6c6a4a16c1e8f2a3ccdd43a7fe85c44
53ad4c609eb2911a1c7ec8145aa5083f08e6f851
c9610e9a454ec69934711b504e1830e2d1d79507


