# isabelle_session_info

session_name: HOL-Algebra
sources: 871f1a79cd4cc0b0030638a4ef29a6af3df8eeca
output_heap: 5c9904f86d54d166b418fe4123b82767618a5324
input_heaps:
33af3aa2756835d884f107e94ef8fae75dd44f26
20786579ee2816af0545aef0665e350bb8e12ab3
ee62ac27caa562f73b88ddeb2e7a8028c72dd5cd
a43743d21c723a70405add93fd89b46a581bc6a9


