# isabelle_session_info

session_name: HOL-Homology
sources: 753c0faf94ae56b04061cb58c0196ab64f3b10d6
input_heaps:
53b315df48455a829d4515cf87e0e92738873628
9b611b6d68409e5a328878299cf3d7c4e76568cd
ab1644a2c1a426e9b2462d88a366600dc5123e3b


