# isabelle_session_info

session_name: HOL-ex
sources: d4b44d58acaa990a986b3dd1caac6e45ee1925a9
input_heaps:
82279e0e1adf83bb56256dc19b76e613b9ff505e
63876a40702696125354f9af72dc0450e7ebf321
55b5e5a6df082aa55ea3bfc9cc68b710a1940ed2
f80a9bcc722e5130e13168d07bb0555b9fdb84bd
4f681c3543621f1f4ad13436272e4c1907d45e8b


