# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 6a17c9845742e7bbb51129ed7e9c6200b81ae325
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
218e710bfd2f7053f91c187c657c31257f7aa7f8
10d1e794d6c3b3515d87836c05b910d7535b12b1


