# isabelle_session_info

session_name: HOL-Homology
sources: eb228157b858e961504a7bbf1e045ea4926aa002
input_heaps:
81d1fd0a308fd45942f10777df17e6592fb6726b
920b8c66b9a56779b68aa076c35dc6ab8473e7c3
9cea989a56c977b926fecad3926421f44163fab2


