# isabelle_session_info

session_name: HOL-Nominal
sources: 51faab94c5c0274d4b043b682485f54612a70c7e
output_heap: 9c2c56300154ff6460d585ffeb2a1d12c31e43b0
input_heaps:
c5152c1238c92aaa6e4bbb00396561110d931d3c
a7e1bfad2be6b3a5081ade61eed213d1b2393434
6e9f552ad36d6a6d94a4003649c1fd7e298d25f0


