# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: e99a28a251fb423014d96b0773e6c908b73ce4c2
output_heap: 328695442060b60200a2af4e11bb553d026ff63f
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
3cc12054eb661e048e3a792ac4703b0f2f7f363b
6e3cbc4a6860e287d0d71a841d0ddf0d92553b05


