# isabelle_session_info

session_name: HOL-Algebra
sources: 9d3c1d1a0586f017d447d7103c011fc523553d55
output_heap: 9e67cde8a5b247f669da880d0001a1f6b176b039
input_heaps:
a722fcaa1e8b43a508ba50c6d40dc06804ad4aa9
0a9ce344dfac367830e992bc261ce9786406c92c
6a776fa768e8b16aeaf01a6f504224edb4f9b526
28ad34277ecfac987c6acac2e903416a9a8b5fd1


