# isabelle_session_info

session_name: HOL-Auth
sources: 8ba33e31539d3e9bfc85c1219bce33b670a89f73
output_heap: 6a8c3e2dbfbd5e7d25bfa7d548b901292c366e36
input_heaps:
a9ba4fcb27c61f2722def1490d5cc6ffd820a523
3e35f1f1494655d736fa0027db3480f1ebe85070
23620354c57eb567d552cf9b0a331e62bb638f82


