# isabelle_session_info

session_name: HOL-Algebra
sources: bba4dbe77e4e77ebaf9c7f44d20c7a281a787a7e
output_heap: c14f52dcf1f4f2d704ae7f3cc8d6cb0053bd7afc
input_heaps:
f46bcf61c269616a1bc9cb60b8eafeb409f933c6
84c199168b6eb1cc2abc672e3cc17a57ada0e133
1bf98e26074b74a98287e69f6a4b87c89bc11ad3
37c38777fac191b46149fdb10365dd935ec30ef0


