# isabelle_session_info

session_name: HOL-Nominal
sources: f0b0253a3a9a53899bdef3f2e67c54176bc8eaad
output_heap: 233671304c84d261650850a0661069f4e5c5ce50
input_heaps:
355a64804e6eca100d64dad0e9de71f136466619
88c162adb4f7b537afea371994c77b7a87e6cf98
c5910b0782fc8af219750b1b9cd02cc8ae5d98a4


