# isabelle_session_info

session_name: HOL-Algebra
sources: ff051f5382c71473161f6f90aff3bcc3c1fb45da
output_heap: 52704419dfb702112a1256e6f5d8d2b9c171777f
input_heaps:
5d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c
99522e89eae0e0595207e8a2cb989772370d8b37
09e907963e953ddde96fcf978bc234dc629ac5c9
1b9c237fd8b96ed8bb15aa850db7417290b89b1b


