# isabelle_session_info

session_name: HOL-Auth
sources: 35abc7a5f2f1e109ec022df6a1d13f6b1db86c80
output_heap: 1b60ef5585fa02fc0f409cb35cd25ce982eb1a4c
input_heaps:
32e67617b84c9c11cb8188110a1a4623e5435f37
4cfe04fff283b1f341f7b2f228821a9a87ea40ea
089e08bd04413689c9c2f25359f75795d5eccbbc


