# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 3304f87f3f1de76270165a8b15950347267fc4f0
input_heaps:
be5df6ecc97831ab26f150db4d5e1c990159d9d3
7843f235e3da3d82ada445f65814c4ce4af12915
47cdfe4bcb58e0e9444834594f15081e4264b263


