# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 466e64dca1721013d1b500652bcd963e90b0c7fe
uuid: bf49c7c8-8f42-4d9b-9f83-2f233d0007c5
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
db008d0a925e2bbf3f4f8b0c4338be03fa75e214


