# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 9c95221305ac9b365fa506a63aafdfb80ff70037
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
0ff44ee676022a994eca3aea04a8533619909206
e469e4b9cbbe84c9395283b8919c86a48d54f763


