# isabelle_session_info

session_name: HOL-Auth
sources: 0002125e147bad7a94de69f90fd07d1a2bc943fe
output_heap: 64379e0d02d6a1977fb5e8b7cbb88f972fb15913
input_heaps:
126b3e7210b637747af3583ce8c4a1dc1eb33510
86dd0d4663cffbd9fb337dc820aef4a636e6ff50
9d1fda2ac65fc497a7a2725eb08e28b40fe06fd9


