# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 27b8164dab17dd979df8d4132fee9b185b346c2a
uuid: 89bd449c-5a58-4012-abbb-1f5bcd1066e1
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
112dc0485668ba3fa6aec73d9f03e97e6ce350b5


