# isabelle_session_info

session_name: HOL-Auth
sources: 15fcf0f1e6d2ffbc7f2b896f29662d2544103444
output_heap: 61c53fa8b442514e04c5fc248d9c9332b642052f
input_heaps:
5a4801f0c143f74de5fafb369b13a773b3d622f5
aaa54dbeea5ce8901e3a981b42b1b8219bf4ff22
df3284e7ef0bfdea9c727ea63e4b1573989637e1


