# isabelle_session_info

session_name: HOL-Auth
sources: 90276c57dade6236e8ba113991b2806acbdd2a48
output_heap: 0150abbee4b41d26d8dd77e785cba74e3723aa5d
input_heaps:
ee6ad39af305f89937086a6f882fd17679ba7ecb
e3caa21a0f45527522c83927bef2cff3e9ca2831
566c0b821690122d0bd09bbd142e8e53fcc308c2


