# isabelle_session_info

session_name: HOL-Auth
sources: 5c1cea57032ca2e7ec70d6f48733eb61d08183ae
output_heap: 702e451ed44d52b7906f9b0aa0495dce9e1b3eb3
input_heaps:
9d98e7572661a1502ccca3e0adfad8c7205ee347
9212820f8b5da3e03e0e4c4edff6a3ef6f7425f5
bc7285075f2b3f8608f2e33435f62562007e562a


