# isabelle_session_info

session_name: HOL-Auth
sources: d1c9662148b46d47ae6559d33e67f5be76c6f512
output_heap: c23c9508c24b1cfb63f62c6794b2bdd323d8b0b2
input_heaps:
7430d2c0a1b08934e5f6cb35e5fe155e1341f0ec
144a96b403b56eb57a7d98fbcc98662a2732b6c9
e7f2807964d294b1bd82041a5dc1295b25dcfe01


