# isabelle_session_info

session_name: HOL-Nominal
sources: 2847cfe75335dde6583f648083f0bc7f2fc685ff
output_heap: cf4d1872a4a502d7f656b3c631b564e415409eaa
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
742b25261ce81d8f6188861f487a997df56be7f7


