# isabelle_session_info

session_name: HOL-Algebra
sources: ade8f48ea537f5974172b9fc01494dd971fccc18
output_heap: 23538c1c74e71de2f06458748ddac3e9dada4dae
input_heaps:
9cd3c53d80170445c84eedf6dd4ed5c742828d4c
1b7644e4ef7c7bda7fb3cf22b79d9258a3aaba9f
40c085545166b0208638b4543edc0e83878ec9ff
e35b725dbc0798605a24c9ab4a2a03d6991dac81


