# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 012af5756b6e4256d5468d7fa1a83fc281508e1e
output_heap: 847133d7007ca258ce3daa78da869030be59f30f
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
1239a01ca5aa4561e420921aebfe4b87409398d1


