# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2cef5c5bbedd60ce7d29a698995d8118b975b9c5
input_heaps:
171f1401f05a7647b01cb7cdef953bd877fc895c
92d83a3f9935544ccc941b486a98a794a1901ee6
8030f58ea4d7d95c57348141e6cb398300b7420f
55699cc05f23f94fb58b7c8748cea895bcb63672


