# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: cf17dc46474ce06f0060c55a280839d58a388c25
output_heap: f53bede1fcd190cb4ffd5a388f3406dafb085678
input_heaps:
fa7050467ef8f63fd56cd5cc004bca4176bf5785
29f89a8c8c3de749e3d8f52dbed7d75c52623d3a
1334dc75a52bc59f2ba1832ec2830a9b7431aaa9


