# isabelle_session_info

session_name: HOL-Auth
sources: 3f1b6b646380c5aeb02ffe4ed00e91b00030014e
output_heap: dcba3edebd58a6ae90f46162e7d8664a3ca8f51f
input_heaps:
76eaaa26d5dc8b218d0a611295d4ee3d6e6f203f
eee62ea59121ed3e50df436f618922c8776e9ecf
975c8199fc5426d94aa9be585263124fdea5a8b4


