# isabelle_session_info

session_name: HOL-Auth
sources: 34b8d51374b8298c737949f3da9995f2a11744d8
output_heap: 69cd3f939fa0ec443dc6e5034905f4a37090c9f7
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
93bb26101d67863666294058bea6da4fd77251ac


