# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 669f077b8488894cde62ba1877b4c842944d4b0e
output_heap: c7e02a4d14c4d8df208ecc8059da57c87f6b7837
input_heaps:
e6f176688a4aaefe6d46dd50c332476ccfc258e7
b1373408ff8a4b672bcc15de0dcd755f3183d38c
6bfdba08847a56266eda856a9e84f0c415139976


