# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
711ec6d978e8fbf375e8cb8ad023e8afa8d04982


