# isabelle_session_info

session_name: HOL-Auth
sources: c7653d56329d608a904cbfc47b851b029ca77d74
output_heap: e635aea06ca7df3b236c2f6dd2d671639a45d5fd
input_heaps:
6f335b5bb8779b347644e460d18a9f6245b4d5ac
cc5e75d1df4beb9a165a03b53590ef0a1708c25d
513461124470cfa2197ccabcb76a66e38ceaceb6


