# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f106ac09e5cc4698420485292837f58363415ca9
uuid: 94ccc750-c4ca-41fa-92c3-75e2e28afdf6
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
da30218528f7d2e053b9f5e2bbef915897fbaf8f


