# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: cd60ee437e8d772deccb586f2e0944cc2c24c66f
input_heaps:
f6e8c467571f6b6fd723f058bfc31d74652304b2
db42b5600cfea4bc64c4d86c908b1b90546d9cd6
336d3bc6cb0ded842777b10b0e56e325079a5a58
07f3b2d5e0c4437c7eed3fd5b7c6010ce3e867d7


