# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8feb2eab6bc05de2b59df5a8f799c75a4b4bc6a6
input_heaps:
4cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0
7cbe2b787552e2377b1e9e19550fddec8825838d
d6adb3dfc99a1f93d012ccd59267e82ebda47fb6
65ada774f2262f43305b519f943d9a23189db825


