# isabelle_session_info

session_name: HOL-Nominal
sources: 3ab5b067483527c1a424e4b4c5a6dfd8f6a849e0
output_heap: a729c479e37954ca59e5d00d45a6cbff720e4d4c
input_heaps:
d9de4481ef2a3da825e23b700f29156a5eff2e35
d32b67ad46e3370f7ad64c5a6bfceb2624525a6f
34cf726203037fd05adfb0cdc902d0ca7424dedf


