# isabelle_session_info

session_name: HOL-Auth
sources: 9d432c113792c3f1b67eb6b036b8bfc1b525cecc
output_heap: 3d84c7ab67749b288605b9342c4b303aa5d27f0e
input_heaps:
f695e2210c65e40e35d958c5ecfc154ad0d6ad65
874e40ba742cf3e6e99fb67087ea49c26880e3eb
070f09888f0cc4dbf5f4381a99cf7572ce551dd3


