# isabelle_session_info

session_name: HOL-Auth
sources: cf858a25e074471d38133acf649d3148d7bfb02a
output_heap: 62af4aa24079525883bfa26e8b3680f9e38bc5a6
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
d917d16ccc38ba570c12297f3bb3196d70f93486


