# isabelle_session_info

session_name: HOL-Nominal
sources: 9c6d8e48f75f680d73dbfc45a17d6fa0877f6659
output_heap: f126e840fd360a7c8e828483bf7b154a7547f41a
input_heaps:
814e30963bcf64f088dbe50efa68c61f1c4bb894
580696d2cbf210263fdc3f4e561765fbd880243d
5f0f258d8f8ec5f1a9fbc8b8487ac8d6478be66b


