# isabelle_session_info

session_name: HOL-Auth
sources: 0bccafa34b163f3530d5b5a9198ecafc55249dca
output_heap: f2b1542a2f932aafd7a986f4124a7ca0291611e2
input_heaps:
f4b2c6d5d738b06d204b6be11a7ab87828edefc9
e7adafd6063385647279f71f3a5428735a09a9dc
8026c178025208535b6c657df78d958706faa79c


