# isabelle_session_info

session_name: HOL-Auth
sources: a34e563e0a0fcabf16158e29c14dfd0fc721ce48
output_heap: b5296447a5f80d8a473e0c3fb3fa4ef77715b5fa
input_heaps:
3edda0fb92271fc3d98db9fd8ef354f0e0f0aa1f
9b5239179dcfac295bcf1cf11d762d8b0e6bc3e3
91c1c9e9edab459ce62d0aceae1283cc3c035f10


