# isabelle_session_info

session_name: HOL-Auth
sources: 1d49a670f0f44aff5d83a0e08e0e24f372a5f880
output_heap: 7e0b4092cfe9bb0ded4e3d890fd155739bc6d288
input_heaps:
6aadefe1122163e4dcc89994df87a16956357ee3
34b129f0039b76e6afee09ca991dade98e8798b8
f74426d42f41fbd2828a7d26cd4e1eda568e57a9


