# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 6fc3c3da21ca0a01623424d14b5ee0866ef134d2
output_heap: aaa7f90e6e79f83fe6bf23254d3b247a5f495160
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
679e57a6da02a764416f5bb15c272bdee025c1bb


