# isabelle_session_info

session_name: HOL-Algebra
sources: 7bf268ea1d0fd8083d1451665170d670f47232ff
output_heap: 7d62d6bec9dfe33de5e578823cee85cbbef13236
input_heaps:
bb2bfbd9c0379d824a446c61f99c1626944f30d7
f7a88690ac83cbb309b07310244294010daddb5c
f32ff816bb533afa52f6ced467d3853e70a6c25e
4568e734f2ac9689fe1e61be109e82bf3e8e5045


