# isabelle_session_info

session_name: HOL-Auth
sources: 7989e69fe9dba5a8e6b80c25f3c39ddb69ad7fd3
output_heap: d99ff26c6932f6851dd5d4c2db8701e469871c1c
input_heaps:
202f6f92237c25fe02f241fe1e163c0a4bca399a
63f007d29bfc488e0cf2bd9362b622634a9cd39d
809a914e409100418d2c13df98768aaad39c3c52


