# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: e85e6368c9876ddc084bf80817298428b76823f4
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
70586ccf53e93932038c55f4d009b50bdc5c2134
4f5008d5205cd402de85c106152a64c66f8d1b64


