# isabelle_session_info

session_name: HOL-Algebra
sources: f03aa4b07293d61d2e4374ce6642be7af51892fc
output_heap: 01ae368e83b1941f8cc8dbca25adbb9a2bf1b2eb
uuid: 52800fde-e6c4-42b1-90e2-5bfb3f5fcb03
input_heaps:
9b04407a9c9868cdf91440df38a950e6d09d9c8a
4002efa1f75a65fd71f748ba21623d892c47f0ab
258bafb318da8b8172037d1f1248f9ab6f5f01a8
aa382d421fe6230efc72b135b15e718d6b187454


