# isabelle_session_info

session_name: HOL-Auth
sources: 0f30de7101af4a5af2a35700c02ae34d06d1ac95
output_heap: 4a8b0d93668f6b4ab783a34050eea68bc22756c4
input_heaps:
19126f922e3aa9c20f5a31237f68a37a6d2cdfb1
078fec9a335ed8e63b0d7f40d8edca7f752c4fb3
9d8b4525c5f8c9207985b4e769e131de60d4e4b5


