# isabelle_session_info

session_name: HOL-Auth
sources: b18910ab63258c3ca18f19810ec5b9a63741e54d
output_heap: 2b026b9230363f6042d70711fa59d82169540694
input_heaps:
dbc373532a8de37e9abb2d2b3f29c7d794abd157
76f1b6b9c5508daaae4efe96776d5917ec90f735
21eb7280d14694decc6e9bbbe9fdcd2898c54b3b


