# isabelle_session_info

session_name: HOL-Algebra
sources: e64f4709e88317a12df75c94f0dfcee8513f616a
output_heap: a1436c4772fde6eac5e17c50a0ea8c0157b7c708
input_heaps:
cb3b4b88f86f707d123395dc0f54d7e406fb9231
2f7affaa3f1e641179075b6ed2189143771cd710
d53cbe55e2ad6db93b989010c753f8d3467cd090
92e059aea9737af15f7dd7fa3fd660b6fefd7282


