# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 0d7d1dad9a1e39ddf7c863e59c9252a140ea4a07
output_heap: f8ea8b18a5b4c9cc24647050f61eab61f3cabfc9
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
5c5d7a2d255d2e294023275bca32d56ab483b7e6


