# isabelle_session_info

session_name: HOL-Auth
sources: a236a39def8880389a6cb75af22dee990808a169
output_heap: 3c14ef6311ff4d49e0a1054cedb1ab7e8c2a5a8c
input_heaps:
8efa791dabbe9fabbba3e8078d5274688c6622fd
537220e845e462fe9dd7dc166f6d3cf6145faab2
c59d84098cd239e6083625801b10283927e883a7


