# isabelle_session_info

session_name: HOL-Auth
sources: 60e5b36f2185893d54ed07de593512971c00b56a
output_heap: 16d30c08f6bb6524f9b9ce0fbca2a1b0b6b9cdd5
input_heaps:
b5c424772a2a5b40f2f68f25414695f3cd309066
4421303c0db3669d059ce12e56ab74b4697966f2
ea164186239b77d6cf8a77dbfd65972873cb3e5c


