# isabelle_session_info

session_name: HOL-Algebra
sources: 6659247a98ed41631c66b02e35fbab0561b3d738
output_heap: 7076b109de5f40a7af27664edfff7b0c6d94473d
input_heaps:
3e7cae349853bb3f654071d127673716b1e97131
e76faa548233303457fe1f8acd3f956c35127c42
3a549c94b5edcef607319afe3cf665b558a14979
c8ddd2470c3497c37f723a96ab466c8f1c2d0c37


