# isabelle_session_info

session_name: HOL-Auth
sources: 5163746be9ced80a2bdc51506c586f1653f90b3f
output_heap: 613137745f76dcd4f3953e0dc4c0dfd9e9d32b67
input_heaps:
6e17447a00107a84a0d911955493ae00a345bd11
8f7c907bd2182684f053246d01bc6ec83b1af4f8
ba6c7bee358667f940c2d372ce3441f58220cef1


