# isabelle_session_info

session_name: HOL-Algebra
sources: 06e7bcbd8b398d342b7bde197a9c8de547dbc1dd
output_heap: 20e6988dcf5599c754a4b02ce74d35b5dc869017
input_heaps:
6c8e13744f5674a7b5f427d5bc2c896df0f96141
905391c16947b268265525cd86d750411a1185b6
9ac3a4eb4d12132039e4f78815a91dd814f3c338
2a93d7296ed1ddf315ebe6c6124a5c02fbccdf04


