# isabelle_session_info

session_name: HOL-Auth
sources: 60e5b36f2185893d54ed07de593512971c00b56a
output_heap: 8c99a0596638ef4ab0bc6d3a7617b4113be780df
input_heaps:
f7b1a1f56b73dc58bf54d6b554cfc6678c6e3f45
8699c09d5dc37a7f84bb6047bb44724257d556ee
c3f53122a3ba7b0c471a86b4d7d4c5316c1b924d


