# isabelle_session_info

session_name: HOL-Algebra
sources: ed1fe59fcf6a4a92773fcab8786b1ae62a9cc1d7
output_heap: ccfe7c74d7ce6bff8053b41b99ccaabc2adef30b
input_heaps:
4f2c0bd4be2ac4b94f89ae10fb0d936d88f36b2c
ff670c3cfafe1b4a987538d467717cf66914711f
dc78fdf36843782b6e6f6580e09328f454357ee8
3afa29e8870e1ad85fdbb295c9ae6fe370c9c354


