# isabelle_session_info

session_name: HOL-Auth
sources: 7537d26068ffc582f949d06cc5a950eeeb03d81e
output_heap: 1019607ab67e87e54ae0524c47a22f0c012517f2
input_heaps:
0e3f5d7770b79d46052d8a53d0fb4bd743cd8681
265218b52b747aa88e85337254de8e8db5ae0fcc
8502e37319086bef6844d5f7c4f56a72936c3546


