# isabelle_session_info

session_name: Stone_Relation_Algebras
output_heap: 815b9e1dc16fd19f207817861c161cd0418e89f9
sources:
15b74cf114628786a79fcd1b7b0d850ae4538973
28ada3828891c645dfb36baf941896e2eebcbabd
332623a0b0667c19ada7e61e8db11f75f807da02
3a84e0aead6d8444d87b5474d3e3b5feebca7f6c
56ce51e51c52771c0ee6e27b1d0e017c84baf301
6cf0434a2c81b3cfc66d5aa533eda695700a4801
6def3dc46358ea64f147563ca9a5264abc407f8f
aab124be90550157358bfa2fce73b8787a6fd3ba
e388782066b4bb00a7be451e2533369cb95c0c33

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
3bd9102ec2c16a366955568d210e08a974018bef


