# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0c58cd28f5ff653bb50c0cc36db40a68b2c71849
input_heaps:
25b0ff30768df4fab02e9aff76d0f45f128d63ca
6013e9b2873d320614122d686e65ea49474d2dc4
8ae6094d7414c6286554bf511aa24ff33ed8f6f1


