# isabelle_session_info

session_name: HOL-Homology
sources: 60c962dd7260b683e2ec4f739d2de0049d457b8b
input_heaps:
1765a06ed7bfb95809fcd480531b6aea79d668ee
db3306e1be724f76356daf0f2b195629ce39c7d0
a198258f56b73920f9b69c5323aed4ddb3ab4cab


