# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 91617c4718177d4f11f4a5489b407598e0cfd180
uuid: f12a34cb-6f4c-4c84-aaa2-01a9a4e52aaa
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
1730b8576f07f61c0c3a823f69a628cb8fab4b4b


