# isabelle_session_info

session_name: HOL-Auth
sources: cc1230012da54f0234cd9e5cb3cd08c3eb2c6b5f
output_heap: c8f732fe03befcf9801f34e43bb37d2fb4fa0267
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
fd74a6dee3e5c7237bf3cd94c82b97c12c86e062


