# isabelle_session_info

session_name: HOL-Auth
sources: 907610d9a2dfc598fe593c711b5126c1e4c54982
output_heap: f08bb9584cdc87cdc8823b1e553a8ef2ded33d93
input_heaps:
9e57621fc6e68a5512aa3bfd26eb21db38620196
a4b348888fd6bb25a5848142d09c6ff446a0d19b
a710443e3082923a0957341f5f6ab777afefbba1


