# isabelle_session_info

session_name: HOL-Algebra
sources: 5cc44c14ab6b8345018288b1141ee9fad1bad505
output_heap: 0becb14828fdf81982e2a2182917d01ef224f310
input_heaps:
e1147b3c6964ee34a73b496090d81315eabf9592
847a90305910414ab70d1b8a07a746397a90c4f0
80b0d7e17f3fac60542e792911684c5a0bfbeca3
4f59fbe0c025d8c65e78519fecacdd2d99a77c35


