# isabelle_session_info

session_name: HOL-Algebra
sources: b4b9a0b9bcdafe02318bb6baad5268e92b5e6f9f
output_heap: 3cd5bc3890deeab13b080bd4b72d7c162f962f1f
input_heaps:
247ee34b70883a3fa10ad7a52a304d82cf858666
79d8a2ee73caa6ff9cf2e41500504f89e401487a
24c9ad8d0282f4fa600656d69b0c756f39f48b48
0dbd69aa64c95f7ac9b5c3ac489953c4dee614b3


