# isabelle_session_info

session_name: HOL-Auth
sources: 3020236011dffee8b3d26f1ae7cc841d1449ee16
output_heap: 4edb697078a4690b587c966f181e6eb48eded8f2
input_heaps:
3e7cae349853bb3f654071d127673716b1e97131
e76faa548233303457fe1f8acd3f956c35127c42
3a549c94b5edcef607319afe3cf665b558a14979


