# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: bddb84b5513d028a71f50fb7043241e400d8c1c0
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
fa86514010f722c857cd1658c8296f357d017e10
ed28d398c3d1db22b4b6606cc14ddd02c92a8cab


