# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: ac130103fda07a703d9b7356b2bc8bf074473b2e
output_heap: 3f23050dd358174f31e9bd92c2487c0e431f2e53
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
400e207185ef6060c529f65b6dc6d02d8d633f9f


