# isabelle_session_info

session_name: HOL-Algebra
sources: 6fd664b82b91ded7e878c32782e0a17201f6e1d1
output_heap: 333b99c88d119c871044a6d0abfe09117f95131c
input_heaps:
095a950634237037a8fe6e589372f54d614cf935
dfac3b4064125a42333382ec937d0cece35163aa
77136ef32d63855feb31dba125649d66b8de2b0c
236f66a0800fd2578fc37930b1aad1c4fe0d1a6f


