# isabelle_session_info

session_name: HOL-Algebra
sources: 4fefd3196aa1920ecb23bac3d5215e88dfea6430
output_heap: 93c64b046a88a724fd3917048d53ff0adbef327f
uuid: f8e4ff79-64e9-46e1-875d-f1b5d064703b
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
aebd6c76484da54bdd8bc867ee7bf6594438e960
5c740fb61b705d6bddb5b5a9bec9942dccf662c6


