# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: dc0b3237f90b741fb8d708c3b86335ec1f3c4a47
output_heap: a1871b8ba3473ee757efb1eaedbf5e5964912927
input_heaps:
adf620958a483c5d99eb8b585d74e10e62aa36e9
592c3e8fc1a619dd78c917b8e580c01545553e05
552b0f011921b5d9c16ada30070fa3844182ebc3


