# isabelle_session_info

session_name: HOL-Homology
sources: 9e27fb39fc43f0fbd1edeb70607601986dfe99d3
input_heaps:
dd4458878f01a34a1b5791d5d83a4c7fde98b709
f992b25f144d396e58a39d8cc82c7030f4bb4c7d
7eed3bc65739617abdbff8b23fee6f4036623fec


