# isabelle_session_info

session_name: HOL-Auth
sources: 21745a08fd0d95f74b6221c240faf323e4ed0ec7
output_heap: 7bcae60d8fc6f950836b2b03410adb47001aa66f
input_heaps:
a8fd777f4c50ddd8d7e155b9b07d9218f3467fc7
02f1225c0f261de736caa9ce0f266c2606abf26f
5cbc96a39653a488416c2b5ee0f7781b5f8e79ff


