# isabelle_session_info

session_name: HOL-Auth
sources: d4fdd8a596640eede6bd82e886c4689627d6cf7f
output_heap: 62366a386c2df2f764fa72b7b142f9adcd421cab
input_heaps:
eb06bb30852b87bf08fc9bc974d190b6e06c78ba
540a2732a3304e44cc5d86f9c84329d38f7892cf
d749aea517fbc06a61631cf5289aa51b1581c100


