# isabelle_session_info

session_name: HOL-Nominal
sources: f0fd5215e5b4ad93f515d7f44260fea2ed5220a6
output_heap: 2a0b5e3caf6a4a28cdccf0670ba858209ded873d
input_heaps:
0c5a4afe0b9501e0ce9b4d420c798cac3bea6e73
d8f435e385accbfaccb5be9a9486618794bd571c
00eb256aeef4cf6d85a05e3293125d831309e93e


