# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 4642716b20294d6b22d1ce52df7c00ec446b23ab
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
17b94e0a4f24a479b6048fa3ff699837804c05e0
09d4e221200758c0a59e9a2db9760ea2fc59df4b


