# isabelle_session_info

session_name: HOL-Auth
sources: f28b70b276a1710b77139dc5ba3ff82abf0eefd2
output_heap: a352214bae59bec3cd8b19ec9df4d0b02e46cbf2
input_heaps:
2f7a95ebb0ed245614cdc5e59a663000c01e19df
bd7e2a02ad826143e46286eaf8c062e18c745fa0
c2ae05f8fdf7976759d0d0bf40192f6b13d07ab1


