# isabelle_session_info

session_name: HOL-Algebra
sources: 51bc60b36eb7121b247c62e23810a35d157f6d71
output_heap: a1fc35935183839b38b995fc1744b7653ae4c685
input_heaps:
82279e0e1adf83bb56256dc19b76e613b9ff505e
63876a40702696125354f9af72dc0450e7ebf321
55b5e5a6df082aa55ea3bfc9cc68b710a1940ed2
f80a9bcc722e5130e13168d07bb0555b9fdb84bd


