# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: ca84faab02b6c9aea4f45a005b11a6217d3c2fdd
input_heaps:
ea26063c7d2b9547d258649baebbcf2e91377bef
86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d
fd072a3bda1683c3580baa27674a7a88aeec4c45
cb3e63a550ee45143ec5ed90ffd015a01b91ad15


