# isabelle_session_info

session_name: HOL-Auth
sources: 1401f8f5eb3e6303f8dae424a3e2ef909a7e493b
output_heap: d4af8675a667c3e1258109eacf3b00c80ed57a18
input_heaps:
357b42ac3beabedec26b51d2656ba583cf1eab4b
15d85692b7f1786c47e0baf09991f065726d2b19
1f9439498da2d8aca404011524b8312a5bdc159e


