# isabelle_session_info

session_name: HOL-Algebra
sources: adf02c228e1932ab77ad82c2e5f9bda2f7ac086f
output_heap: e33efa12284d17eb2acd42b96afc34f45f65c8fd
input_heaps:
f722b87a2014eb7befffb2473c23cf2102cf8792
4e20d4df64b88f151e3ac397cb2e54e54fbe7a26
6c39b72a25d3a1ef638db30f89aba4a4ff7d0828
299c3fad2da301ccdf999dea7fd4d5250d397c8e


