# isabelle_session_info

session_name: HOL-Homology
sources: 3ba18ce9c2b0a9ee84ea7b376b692a8346e5dc36
input_heaps:
a28a6255246f7ec3c5cd9330da6d3544dfc26850
8ecdc4166284eb6c1c9af75e52995b5452e4ba9f
3e6ad064c8e87d038db82ead4ef75445ff69d680


