# isabelle_session_info

session_name: HOL-Homology
sources: 4eab1dff2eb7a035bb601423990cf2db44d96f40
input_heaps:
069c9ce34574a9d180b675661212e7d3c60137e9
6c6d87ef68588b18c4100f1ded4e7f9d6b048679
0d69ebb9e385bb8ee28e947d45bcafed550a06a8


