# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 5180966a4c175af0fd2bdc0ae7ec7fdda37d7ea9
output_heap: c9bac7e4b8ab36be0b8642c075bffc0e8bf289df
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
33b6eccfb56cd754e10f38f5bdeed9db5544f3a6


