# isabelle_session_info

session_name: HOL-Auth
sources: 842812025c435ff148bf4103fab9b2ee1c26a436
output_heap: 8121429c20e0d5d3934d39b99527c8c382ce5aa2
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
742b25261ce81d8f6188861f487a997df56be7f7


