# isabelle_session_info

session_name: HOL-Auth
sources: a758dbca14f453a4e7b32b53b3d5efbc58b7b92f
output_heap: cbcccd088caeb480dc9590436308af662e7c8088
input_heaps:
f7c715a80dfc5d6a73b803bb3fc9916dd402c7cc
92fad740fd10300db52a7965165ba931d80e398a
be5b7e3ff44fde8fecbd5ed834addd7d17bbd25a


