# isabelle_session_info

session_name: HOL-Algebra
sources: cc056db4d32afe30044fd8bc6395f796e6e17cf7
output_heap: 997f1c89e74dd71c123b63f32e5eedd98ef5859f
input_heaps:
48ef87dd09ab8fc29a0988e0025104c249fa2e36
35bb85abbd94b011d8114c0880ef20a2961ecc7f
2dfb5262788728a96f0e81ce58f0dddb076d0e65
5fc34b539e4dea7b4b4cf08168f4eb69b0fc5afd


