# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: eb8aedc568f8d4e012576e07426fafc23c2c1b50
input_heaps:
1943e47cd6d7055bba0065ff3f918be322d5f5ea
40d44bf7a23ea87cec853845e1a63abc0e491d82
9b8fdb44f656b3d8da1331cb528de62d6c6fe4a9
1fdb592f856565f6d933afd20bf28c0ebaa7872f


