# isabelle_session_info

session_name: HOL-Decision_Procs
sources: ae584b214b7b9a698da08d56c4254b2cfd909496
input_heaps:
d7bbd02684baf956e1423f3454e2d869c3eb5036
9c726adfe089422a375fb3d23090f34ec1598542
244e10ff205a9861d85e21dae66ffde688a2fe39
3fd7517f04bd6aeacc6e3f19aafaabd546022697
c69268f7388f1b3e4f3c1d68bcc0442ee374ea5d


