# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
609027c0b5e2d5a13a9424abded96d9da8b41772
fd445eb87062a276d21fd67282bbb97d846e00d3


