# isabelle_session_info

session_name: HOL-Nominal
sources: d429b8d28a568b14a2a64b1ec00b61c040ad2bd2
output_heap: f12960289f89201aa49a595d55676c9bf643aeb3
input_heaps:
9601253344229b35f7145f2143ac6522b5caf531
6ce3cde7225540c5abb96978d43647709608ce58
0c8ec0975b5ca198ee927e1ca023f7a547d4d4d4


