# isabelle_session_info

session_name: HOL-Auth
sources: 08e053932c36ec33ac83337fe02625c507d56d94
output_heap: 05667cf194134974139c4ac44364e43991d2e8a7
input_heaps:
e0583a0ed15dcfb555474c531eb30e964565f3b0
926329a23c106a798ce76474fb0b3f351ff73480
46fd10eeae2499e94ef2d629be761c1f26511d19


