# isabelle_session_info

session_name: HOL-Auth
sources: ac795fbff6d00e5d0607cfd7470dc64b17383b93
output_heap: 3247bf02389e50dbbb6bb68a7eb41f0b808da1a3
input_heaps:
b54c917c7739586c95567d8d649d231ede1628ac
23e898e8397dbcce45e1c2a85750d285e5907f00
bac973a4eaed9521244119be910f9df8e06affd1


