# isabelle_session_info

session_name: HOL-Auth
sources: 0f30de7101af4a5af2a35700c02ae34d06d1ac95
output_heap: a37b2b6fc6506ffe3d1db5e30dac2521c88d3afe
input_heaps:
d2fed5b8463a719e2f3fe546c701ac5c0e920ab5
cc137faa7d41fea458e730d08d19187f36b2fac8
915082dd8be765921534a4eb0d5827ba5ef779c7


