# isabelle_session_info

session_name: HOL-Auth
sources: cc1230012da54f0234cd9e5cb3cd08c3eb2c6b5f
output_heap: 14a2f358bbf6977eddc6a37efe7bd0a32fb98dc1
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
e71e14a4803a9741ead2aefcee7360a997c650e5
57b412520451206f55ed335320853e88912398f3


