# isabelle_session_info

session_name: HOL-Algebra
sources: d62e24ab3f54257cad0afaf336d6374e9e41fcc3
output_heap: 8d828bb3a3d2729a4194bcef7c2dffb9d60f6de7
input_heaps:
bad23ddab4c2825c2baa76254b92affb4eb1797d
98b5a5427e7a2db6514648c2f2cf437d99d2fb79
367b6e1edc2fa43f6fb03321163836d4a8ecda3b
8654ce2d5cea823a1210bd56834f60dda04934d9


