# isabelle_session_info

session_name: HOL-Auth
sources: d50d80da12f90695c95af41cc460ade6d430d9d8
output_heap: 0f8059b37ef8727787a8bc185c772351044bead6
input_heaps:
963f5dbb395fbca1ebca428683961ef28be59393
27d8a2f2e6bd96d232df533b2f806252fe1eae7a
b25a7482d85d598bd4d3ea67426031228d90b41c


