# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 4732b4c0b75a242312fbda5a41f4e4e21b51f0de
input_heaps:
1478cd8cbae6c2903ff8b7580a1b47a0f1487a38
aa8d72250be55f6a4c5e37b817be58eab22b8e4e
45c90945f443854c2c2201f53f7c6ae10e5257d2
e9c79a395587eb861ac41f6585d73be8b31b18ab


