# isabelle_session_info

session_name: HOL-Algebra
sources: a7b3577451156bcb8179b21dfde51ab317a2220e
output_heap: 3f05000803a2a4ae506eceb89bae679ffbdee182
input_heaps:
47fc8421a194889d814b2263065ab8e04edfa5ae
17dbb756907857c7d44e7b32d4d1f9a0c868c32a
d81fbf38de26ba6ea0ed435ce0e9bfd8efedc974
01178458dc5c855697809589e5025efcd8f11004


