# isabelle_session_info

session_name: HOL-Algebra
sources: 287bbfa03a31e38adc9419f123c521ad116c11d8
output_heap: ea5ee9242e04c70739d16ce9cee782b8c7d452b2
input_heaps:
126b3e7210b637747af3583ce8c4a1dc1eb33510
86dd0d4663cffbd9fb337dc820aef4a636e6ff50
9d1fda2ac65fc497a7a2725eb08e28b40fe06fd9
1819c8f2482e499af267e2fefef4d80a1bd84ae7


