# isabelle_session_info

session_name: HOL-Auth
sources: b010fd226ae3882a2abbd531ae6f1be025e7e117
output_heap: 73fe7790378c179448df7e56f051e0880f78b40c
input_heaps:
bb2bfbd9c0379d824a446c61f99c1626944f30d7
f7a88690ac83cbb309b07310244294010daddb5c
f32ff816bb533afa52f6ced467d3853e70a6c25e


