# isabelle_session_info

session_name: HOL-Nominal
sources: 9cbddb23a83d32dac51e41644d18aa08a0e8a9de
output_heap: 064bac7772241b56a0aea2b62cacaf75b5274c5d
input_heaps:
c2de97967f5bbe0778dca40cd734a9a6aa349fd1
b1e5d8a55545e1f9b2699b64c019a7b1e2e2ee21
2d4043d17a45ce51a751166eb66c0416b64e0e66


