# isabelle_session_info

session_name: HOL-Algebra
sources: 493756ce845e802fe514b0d55f7091e3c522d189
output_heap: 67804c8575afaf28ce63fe42c546c57426536c80
uuid: 014be83f-f34b-4349-9a88-d9b81736858d
input_heaps:
7fa36be71927430279100a4a627b293498a11b23
b1b27881931da3e3fae70a1a4067440d5e6c57d8
717016bd28e5d6d1eb101fa3056af2bb21a22537
108afb1b267d34f6031eec5d33a55695fd5ae775


