# isabelle_session_info

session_name: HOL-Nominal
sources: 6843a13b96d89fc9826074d32b521b7675cfe319
output_heap: d0bda068aec82767ab608097997c6df343456f65
input_heaps:
7a8e704ccea2b410d547e553bb494c61d99479c2
da57c5945db35fdf8ea8f0f69daec22595a33746
64272f543551b01eff83c0d1253e5c402151257c


