# isabelle_session_info

session_name: HOL-Auth
sources: 98cf91a4aa4188409c6bb9abded830130c714a89
output_heap: 2a179f02ed8f674106b19d4a51f32d8f0e36d171
input_heaps:
8cd2a2b0485da6972fef25fa342b036cdb7debc8
3de0747a3e437ae3effbdb060d8e4514f50343a5
234d8bad874e90552827302bea0b07698ecd3c8f


