# isabelle_session_info

session_name: HOL-Auth
sources: 274b5fb454871713b2a183245a43eeeba83e56ec
output_heap: 55e5e64d560292bdd72857d1c62e028f85c17201
input_heaps:
a255efa1aa457bdc2434a521272c906f02d8e87c
ccab4b5307858796b5c1afaa8b061fbcb5af31a5
66718c4027f1e506ac8749ff44d7547d48c01640


