# isabelle_session_info

session_name: HOL-Nominal
sources: 10c42ab9be436262905f03af74ae27eaac569062
output_heap: 8ddd9e1af97c820d1f21b7ae400e14483abd3a0d
input_heaps:
9884737fddd3e6081253c712523f8ecc142c72ee
a26171661ac87092335660b10885b138f2715297
4635c60c913dcc5f9239b81dba841b472bc64dcd


