# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: ca84faab02b6c9aea4f45a005b11a6217d3c2fdd
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
80050be4066a2dc41dde228522a53110fc50a122
c03fa5a6d30a4de53889ca74006d0de9e9d6616c
67965116d09ceea7eada64aba5b260cf326ad2ea


