# isabelle_session_info

session_name: HOL-Auth
sources: 7aa614ac0381ec362f747855b54477ba8d5ab70b
output_heap: 08c4d15e932463d23d4b0b7b0a68d2d2577beac6
input_heaps:
3dd106b0fc6e16ab72e3261eac1cce577c86ae1f
a6d6d9bfe723c3b0701e88c92e528dc9c8b3fa12
7bcd5e319d1ea2a2e971c6dc7c2c7fad20f77d92


