# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources:
01b6f3d5f4decf4e39040a19247cf975cbb4fb1a
10e287192134e7ebd7ab93e1218092add0b3f875
402b5571b2e1d87f79171c8d146f188d9bbc790e
4559d5bcd753e466b54f866cba1d36c87da9b6be
8511129612c3cd871ed382f364af37377eed9555
8dcc6f8ef06ff5c3ddd746ab3e44995794ab7e8e
9f9a51b3eea902a76a705c1c99fe951bc2dbea5a
c6038b6fe1d126151ffaf021ccded2ee8e90f2e4

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
b02dc24d931af38f2d2cc67944c01ced504449ae
d66e13489edde0a4a0b3eb529292f65b4a5999ee


