# isabelle_session_info

session_name: HOL-ex
sources: d6705d212949429a174935ba505a3ba6ed55c9ec
input_heaps:
cbf32b635c328a6095a45f5c01bb1adf119ee7c0
bd89f790ae831acf5d43976dcc41799a9f93a1c7
bd84e8a64af63f81a84fe8ce680a7bbb7edb1778
6b320057afda090b1811986f13981d97a4d36abc
700d7e45f163d2186afae7f35ae1baa038415606


