# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 36ca1c0932c5fa302505bf0bca715aaa18b7c9d1
output_heap: a7b700ff993a6fb9f9d267a998e7ad297579fa98
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
679e57a6da02a764416f5bb15c272bdee025c1bb
aaa7f90e6e79f83fe6bf23254d3b247a5f495160


