# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: d02af86a76128388e064cb64c2a576c47954b2ab
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
51f6143d2c8e8dd769ca52eb4cfe279e61227027
6bb752d5439bd6a84cb47115cd0a5a8470675314


