# isabelle_session_info

session_name: HOL-Algebra
sources: bc6d435cfdc7fd9ab0cbf0feba637bef8b18b790
output_heap: 7d1ae4946ffa88e551f662417b0327d36f593911
input_heaps:
90cfdec0d87addbf47d3382f9c916158cdafeb90
4464720f6112547e5ddd8b507d4f8fcf7d12bdb7
7b132e31a29f37151321b64653cc5f100d5b474b
8c8ff76a212aa6c511956a6c631ac264d3699932


