# isabelle_session_info

session_name: HOL-Auth
sources: 6028ef92d0ed482c02aa2b4f81e5887de0c42346
output_heap: 4af13240343462be32f11d6675d3ec145c14d2f0
input_heaps:
ba9703b8d89941ffe014c15e6ddc671ed32d9999
100b23f10739ac1b172eccb60c813bc22e9bd494
5db1b95e54d8648ee14dbbb91802b741cedc9545


