# isabelle_session_info

session_name: HOL-Auth
sources: fadb6f5e786b40090fab27108d88ff8312f28e69
output_heap: 1c64c2e3529aab0b05db8ad2712c126968287212
input_heaps:
cc4f324134101a29125fabe50ef51b536e28ea56
047d2e97f704b6e2b320b2d6445d72a0e1374246
021d9f5287dd73a852a03bc175301faa0364411c


