# isabelle_session_info

session_name: HOL-Auth
sources: 1b0d5c039cc39a43d8aa4b7b13642a90f2610e4b
output_heap: c31638edf699cf021c8a6188b5c69b442d747a83
input_heaps:
bd250b6fe2745d27d692ec1e5be14c03860b016c
ff7f952b4b87130fc0230e1804ac75502f28965d
a6f4395ca58e1eca5a9da4204f61d313ed481199


