# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
ef0b4636d90b0e9c67cee7a535ea2158d117a693
d6f507a394fa895d0f1845ae431131514f07de7c


