# isabelle_session_info

session_name: HOL-Auth
sources: 3e302b4bd99a5b83fbe8d0997f725e550df2e6d1
output_heap: 204475827fdae8d265bd2435ca49f5c47e88ec24
input_heaps:
ac8f8db169a1aed7390bac47335c1f3fb99f78e5
b6cce1e1d33c0d17d7395f24a436b50911aaac97
85ce2e6de691a703d096ef69845c8f4f6540e35c


