# isabelle_session_info

session_name: HOL-ex
sources: 9017e8afd7f6e0d2310acf1d0b2c8a976d55fe85
input_heaps:
71273f2b5a292ddaf873133309c34b5758374be3
b75fa78fe7c55a0d5d72a19c39ec72148e2d4f8a
d6667ded7f382587b967ec7ac2e26bdf06a195f6
9bf8c9ad681d1841f108bc96edcec8821ac705d0
c803b588170da26ae356b9a26e8dc8362ab29142


