# isabelle_session_info

session_name: HOL-Nominal
sources: 2dbee719c3222eb8465eaaaaf0744324eb0018bd
output_heap: d7dc973ee9313e0d4a5d752141c58296b566f9cf
input_heaps:
af6f82155bf73f7bb583ccca2ea0903508c15c49
d46974a3086b030c59882507bc02c46cc6680af9
8cd398a6bfa05ef8b8464339de16f1b6ba0f545a


