# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 9cbe3bdb4cad51ab9843ed27cc29025c6dac2069
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
1239a01ca5aa4561e420921aebfe4b87409398d1
847133d7007ca258ce3daa78da869030be59f30f


