# isabelle_session_info

session_name: HOL-Algebra
sources: 6659247a98ed41631c66b02e35fbab0561b3d738
output_heap: 2f650cd8dbf8641f580b37843ea87f2b5d33f01b
input_heaps:
fd2c0e8d5dbbf0255abe36184d8e162e5a6dd88c
39629e2401e93cc477158e437466e40612502a08
c4d82df33445739f90434ee2e273c6c168bd07a4
3909867abb863dd64e2b536ec449737633b6efe0


