# isabelle_session_info

session_name: HOL-Algebra
sources: fc3374c518b88b4253a430f809059635deb9fbc6
output_heap: 3470a3c30ef92b5b6bd74caff9a546e3c4da6d6c
input_heaps:
32e67617b84c9c11cb8188110a1a4623e5435f37
4cfe04fff283b1f341f7b2f228821a9a87ea40ea
089e08bd04413689c9c2f25359f75795d5eccbbc
64f6bc3c1d5a58e09f2f19a334c361d58b7aa031


