# isabelle_session_info

session_name: HOL-Auth
sources: ecae13fdf5e8d7c867fbc035cc75737bde60d7b9
output_heap: d7ab8efa761a70a760e44f0282525d6ab2eee330
input_heaps:
5f1f4c97eda553942b9ec06e90a078c551996761
43ab74d089e128bd76f985380546492c99756e15
828ad638e74e192cbb95eac6d611b446a20b3089


