# isabelle_session_info

session_name: HOL-Auth
sources: af2f26577d60bb97a1e82c2a11cf0dd14ec8dc7d
output_heap: 69ba3c8b6a76ed48d5b50ef33923df8a5dccd285
input_heaps:
dc9a9988939d5185ce4d58109b3c7ffc48063b65
00b3fd39e96e18bf037b747e64925783ae796195
942b85e8b5c86c3021f868955028bb861a0e9a28


