# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 8a953e5969af0f5f21c4523b660a97997ee1fafc
output_heap: 8a7b4fc75be851188e9b8b3c90c28452823a268e
input_heaps:
9aadd396dde0a279b6a4eb62f8f2ff37640b410b
0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535
d14ebc381d572bebf2394c32a3f16a010caae51e


