# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: f417cdc671893671a85039207e4bda7bca315592
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
160996d7e1fc81765ddc1ad29ba3a67048f65dc1
7ae081a0dd0b5696cbf2793b8e60fa6ff07c4fff


