# isabelle_session_info

session_name: HOL-Nominal
sources: be41393ae03ecfe0b24b94ac8e190aca736a7c10
output_heap: 91fcf268b9234b9479cd1be2fe73896d4768a8f7
input_heaps:
4261b5a1501386295bfdb70e434ff4b92336605d
8bd4e929afcbb2be1bf5607a7362f9b0aead5da6
9d57baec7568878c083caab485bc257f450f36b5


