# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: e2bc3ee1b6f68c46b0aff3386ddb626ac388d74e
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
210c3fe46aa73875625597d034d87e45c585fbbe
343f89015f2685031cc29743a9dea50bc7642fce


