# isabelle_session_info

session_name: HOL-Auth
sources: 34a85e408b3ecc3cd1675a919c963c885571f492
output_heap: a317099dd8fa9a11c9ae4e2cafc229251c5b9fe7
input_heaps:
6b7ea948c08a4808501358e80052aac147b7eae5
c30c18fd78f34edd677a1ed4a755fbc1bde8fcf8
6398bc9b833851b13b1580b74822ebe25cb30fd8


