# isabelle_session_info

session_name: HOL-Auth
sources: fb18900d79e03ba44864e2ed3b55196d2e843ba8
output_heap: b0a148dde363c7473c836a273bc58876ba9f99a3
input_heaps:
a7e0098c16fd923224d12b7191f69f9fa4d76b8d
47bb6935461017c83f2b18eba239137ac1b6429b
6d7cf6dc69fdde7813b48ebf04886b7ee334a278


