# isabelle_session_info

session_name: HOL-Auth
sources: 01a3a7107d3e76ef69c7d5d791e1246e8e703d2f
output_heap: 0e52fb5f9662b2a90ce13763b3d7b38c5b817e50
input_heaps:
ed49615d0f34d882905c1347e93972344c93c592
18a74e1184c98f28794864630d3eda03f7ec5008
85a3031c01b9afe036405074dcf537dcc35ce904


