# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: fa53bf6225dde41188760320735dd6b24ab23b9e
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
9ec5a121045cfb2e9ebaf3d27460b97b543e2d52
8bf59cb09facf4a3a2b14f5c85e2ecba8cf3d2ae


