# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources:
10e287192134e7ebd7ab93e1218092add0b3f875
1ec2d3519e48bedc38eda0e63d5343839bdacfaa
402b5571b2e1d87f79171c8d146f188d9bbc790e
4559d5bcd753e466b54f866cba1d36c87da9b6be
4d44a4d8ad022560e8665cbed668a8ff5ec653ad
7e01b0a2f16e91fae2ca7b099674b468a872651b
c6038b6fe1d126151ffaf021ccded2ee8e90f2e4
f243765ca08e1b19d1b01fab211ba67536452272

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
3bd9102ec2c16a366955568d210e08a974018bef
815b9e1dc16fd19f207817861c161cd0418e89f9


