# isabelle_session_info

session_name: HOL-Auth
sources: ca992bb3fb8eeff0d958438e9f11b0da8acca562
output_heap: cdbeda33b18cf8c6019713c6de766db447c010a1
input_heaps:
5c48b71e3a421e657603377b3e9ab553741afd76
3f8da09a6f473e75425d98df649eb54d6e6233ec
2ebc4e36baf8e259c3c505672703d048e319c229


