# isabelle_session_info

session_name: HOL-Nominal
sources: 775d1c40cb27bd0cc7e3d4b06addcf243c9af0a2
output_heap: ab7f3c110e93dcb0b4993041f95cf530891b3f92
input_heaps:
ae17b97f9975a58f49edf9948881ca3e82dad276
a1e2147b15fbe11193d38b22e9fc5ba6c17a7dfc
d6bbd7b0c497bb0152198de69a309e7bb0cee4ee


