# isabelle_session_info

session_name: HOL-Nominal
sources: c9d2ba2119f06ba301014cacb2d5e623b50c7891
output_heap: d8c2edfd819e6d53238a4ec752cb6d75c601099d
input_heaps:
b8f2b33a24d2ef800fa7a056082ebbbf3977915c
6a95eb2b178165cf707931927bdb35d5f0586909
3ba2901e92f22a936ab736a4a3710fea6d7a4b94


