# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 574189c6e6a8b60c004b4429a915a328be3a97cf
uuid: b2b40c1f-f03c-425a-a441-77341158034b
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
4f9f5f5ddcd5fed0ec2fe94b65ac209da8c66622


