# isabelle_session_info

session_name: HOL-Auth
sources: 1b4d207a0e0dd2c9c7b2d75281d4c67d9e5709fd
output_heap: a68a2bed7889d6c111d17b867c8de04bf1f54d4c
input_heaps:
db692ddae81c9b00ee09c2ccbd0bf253d1829313
a61ae159d682d08a86748e488b5545fc9c92026d
dec87339ee5118ce60098092fcdb5a3cb9ecbdb6


