# isabelle_session_info

session_name: HOL-Algebra
sources: 5e3051a07b09a8be76be075c18141186e15a2c83
output_heap: e1f6df314b7334782f467ea5c8be9602e0d3e104
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8
c8d68aa4c900a2002b0247eed5bfbe292ac887fc


