# isabelle_session_info

session_name: HOL-Auth
sources: 65c306147485daf5ef9b6840f42cb114669239f8
output_heap: a9e5aa2e9f7af78d076874946a4778e4a431c8f9
input_heaps:
2de776be54086cd6f5d576144c34608108120821
ee9cea67cd24ab19209e832e4527fa2462c7f652
55e887fd0b0935631105aa03de079dd586c8ef95


