# isabelle_session_info

session_name: HOL-Auth
sources: f0f8dabe478eb313a428cbe2a06de2c4f103af81
output_heap: 1696b4f988343a9f62df2db39b95bc8f0794d6fe
input_heaps:
902b177fe6aa9d4842e92c5ac7c28e0170601731
68844b2ed9f5f6d0cef127c9a9b5cea0e1bfed33
27f2c6ef39e00ed05e8d1d142da8b066fc308275


