# isabelle_session_info

session_name: HOL-Algebra
sources: 269b3705447d7d9492862192fcaf99e82ba556b3
output_heap: f39aa84f90c57e98a5789b8f641638d805ac32ae
input_heaps:
9562e4e089728e23b6fd144e8ae0b325e248d0f2
2d67f70bb6d3bc3559e2889263b4cf3e2b1e4e9d
f9787eef9dac6f88ba0216c94e4366b98c680972
421e0691229feaf508bf2f410c596ceac6f1e1b5


