# isabelle_session_info

session_name: HOL-Nominal
sources: fadc59e5cea692dbcd431b14a1c81a9746c151e1
output_heap: d1cb745f4a10c19e3014cb4fe8ceae452f0858ea
input_heaps:
6c234964d2ce00acad8abea2736235d9c47e1057
c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f538
18a3c5dbdec0ec1e741fccb19894f5e73590adf0


