# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 66d3e5b08a2ef7daaf4a55d72a0c06ec76b23eab
uuid: 2d5c6120-175b-4e24-abc4-c9d9c98709e0
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
434409b9095035069e4695054111ba2fe81b8b14


