# isabelle_session_info

session_name: HOL-Auth
sources: dcffd04ece4e0a21fe9677836c3da74d9be1e50f
output_heap: 9bb03a6742e2b1ba90fc4ee050d73814fe9e7a2c
input_heaps:
d2241105d59f024a1ed91dd402ce7df32b8647fc
03456ed43f3268cce21b507c83b43956efbf99ef
4021ed9297b88c4fa4fe51b46f67ce3b8c027638


