# isabelle_session_info

session_name: HOL-Homology
sources: 99fb24a8c01045a963e4f7d9b382232eacdfe54a
input_heaps:
6f335b5bb8779b347644e460d18a9f6245b4d5ac
cc5e75d1df4beb9a165a03b53590ef0a1708c25d
fc7a2bd7abe53b838e0ebb05147fed38dea4ace8


