# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 9b95b02a7a651accd1d1060256187cda8af625da
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
2655a4d9c98d43c9d7baf25d665d19bc3368c338
761fba026999b4f82882a67ceba3d1c207dc40bd


