# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 23a48a5a3f804f400689807f9dadb795876d6aed
output_heap: 1db3ca9e3a7354c376a638597055b48e781f77d2
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
cf844ff8e911985856058e7619f05a7fdaff7503


