# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: f9ad279efbd45869a0768529cf1741692d6a8d2f
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
9692c3d67649fef9fb0960a7f0fc4df53579cd4b
13b37d310e20c3b95f655abaaa2434f39c6e6005


