# isabelle_session_info

session_name: HOL-Auth
sources: d17b5f8aee2fff4af6960d2969deb95f298a4c3e
output_heap: 51a4a34532a40c7ad9dbfbffbbb8a94d72bba6c5
input_heaps:
425050c979a8d54247f86c7dfa44e6a498adfdfd
1f89f62b2b5f45ced70bdc8c7ca677aa7e6acb93
ed29f35d0b99a35bf56527c7405c4d1433071668


