# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 6a17c9845742e7bbb51129ed7e9c6200b81ae325
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
79764dc49c42e04d2f2d7022e68e8df538e9cc73
0d0a423e007631add0ed2974864e77b37db8c321
6c9725b631bfd3c2726f5d62daeb27d415c8977f


