# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: d58e962abbb2459e5aa274d1cb514775122d1d80
output_heap: 6bed8747bb27bb33d878a24c70fd510ac83876a8
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
335ffb83d4a635a9a1d559a6851f6d06e2d26bd8


