# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d67a9a99a8a1b4db13163b5b883ecd13be887901
uuid: e062d458-a831-4678-b170-c86403aa6e52
input_heaps:
77299dddcb29b78175e82c70524d32bf9d698d4a
bd3bb075592b20659918170e65cd26a662a77f21
b9a2796487452239c6d9735cb3e65f4534283ef1


