# isabelle_session_info

session_name: HOL-Algebra
sources: 839c1cc87e3509d4a586a16d929b7408362039f3
output_heap: 1ba60c77c421414036187031b1cf3d60d93f818f
input_heaps:
9f7624067c9c5a93ecbf4163df24f4baa96ccfb8
980718f4f514a820453424182546260094c53e14
6e2adda8477a740b117c8eec41e6ef24a12f74b4
2f4b4bbe84078b62cad48ed9ad88424172a0be11


