# isabelle_session_info

session_name: HOL-Algebra
sources: d625b17181886c7a51de564665c6a4b148218a60
output_heap: 58de5e2b97531735cb32d9cd3bf7aa33798b8882
input_heaps:
5276688fea607e3a3776d373302d975e53d8d37c
bd77ad23a6adabd9127118020c894b7881abece9
9a749f1fd5c137c1b9daca9c1391e83a541beb4c
2b97d910e35a9e8ee563e5bc1b09cb671b8396cd


