# isabelle_session_info

session_name: HOL-Auth
sources: c7653d56329d608a904cbfc47b851b029ca77d74
output_heap: b2e7c1992cf861b22d6f53c3b9c67a7653efa7f7
input_heaps:
5248afc86b05a1ac2f695003788f35082c9fc933
f1ca51ccd42b5a485854d78f2467698d231bd356
39fdd67748314a5f3623ade681f853796ccafdf4


