# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: e5131906ff054506fe4541c5de2afd7d3f9f0513
output_heap: bd53ab250ca03931d808e4e97582a7e0c106e175
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
7a6127cbde677f09dd77f517de1da399256277fc
f16381c7f8e14de0bc08283e4bc21e2ade8f2213


