# isabelle_session_info

session_name: HOL-Auth
sources: a5c964a724f0c902444e0ffad159ab15e5cc47c2
output_heap: 234f50ca93db70ad0786612f1ec52cd45db787e5
input_heaps:
ca3ed9a9646231337b905d185bf29cc2ed7d96c5
10df30d77910ddf7eacacb769f4ff21ca25b020f
76e502718f3368e6ca56c83350e7a78ca7a641fb


