# isabelle_session_info

session_name: HOL-Homology
sources: f31c483fd6f79232c22d545a5a85b9ec08b95e64
input_heaps:
002da1eaeee52b983075830d79ddcff9707ce7a9
c344d82e960a4baceb99dc7461784008bc1b9b93
d01f3a1afc1f6078cfb362a45782ed3ec198517b


