# isabelle_session_info

session_name: HOL-Algebra
sources: b0df5ad1ef0724b6748d884ef230b73e267b9fa2
output_heap: d5222de83f94204f7a0f2db2eb740621cd358c65
input_heaps:
0447e8f5f417255aa2e13691341cd99ec9daa58a
a17b66d8aabbb2fda0b260137927a648a82993fc
1b2738ce7bf25ae180a9ddc781581ffb24ebb207
5a8d1086e8a5c88888ad7e4cf461e03cd994a920


