# isabelle_session_info

session_name: HOL-Nominal
sources: 350e040cca7d94ea1718d5f741ddd526fdc49b76
output_heap: 579e875172fbbccac78fc40d963d27c29e913bdf
input_heaps:
0cea6af50952712e101cf3d03ef47baba4b0476a
5e4cf06377096ce71c7273dbfcd36f928b45e122
38d2c8fb8777b52ed35c5b157dfaabe87b62e97f


