# isabelle_session_info

session_name: HOL-Auth
sources: 0c8a91cbcb3f9744a4bc62fafbf79a1288ecb27d
output_heap: 148e4cebd46541c9d11977eb2d1ac755cf971a26
input_heaps:
c04e1f3fc68c567f1533b0f5b3b34eb18e002e69
2121a2057db2e3eb3a417401cf669cfa7df5de5b
e131cd3f43bfbd9c456d28338c322be42ceb2e19


