# isabelle_session_info

session_name: HOL-Auth
sources: 9d5f4f5ae603f00bcee466b683e1e0d3114c91e8
output_heap: 9e778ebfee2744895db51ff28ef03b48027ae0a4
input_heaps:
b6a06941c7f4d32a9ff0b780ae34fa263f209f1f
17c087a835d148ead0faf3b05e4801803be6efde
e19fd855d79a722189e435995b1ccfcd1bca3848


