# isabelle_session_info

session_name: HOL-Algebra
sources: 45ceba43a0f5d6d9acf74bba4524b524a6112135
output_heap: 54bea48cc7ddb78afa01f7e5a2bff2cad6ed4796
input_heaps:
b5db32649db89f76b1ce56237e676f898e9d50b5
5cc5613503d28c7360624d52aa81851a5e1c5a80
de400e153e6db4bb3c973029c7aee5edccc34935
1d55a3173208e32b0835768935b52580f128fe17


