# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 5db404c619933cc76eda1a947a8a38f240c8a964
output_heap: 0d99d8c49d3ce4abdecda710f5e655a18361aac1
input_heaps:
9aadd396dde0a279b6a4eb62f8f2ff37640b410b
0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535
d14ebc381d572bebf2394c32a3f16a010caae51e
8a7b4fc75be851188e9b8b3c90c28452823a268e


