# isabelle_session_info

session_name: HOL-Nominal
sources: 4233243bf65a2f2dfa8c48a300fabcd3ec1b3cae
output_heap: 6ef1a1d1e1f8bf96fc0f94d81407e8248bd5e1f5
input_heaps:
fa11a088fa6c022eaffd52f49e1ce4d13eea3dbc
4cef5542ae191d60b950c71717d249846e24f33b
f7410be0199f6fe986b9a4c7442998ebbb86139c


