# isabelle_session_info

session_name: Relation_Algebra
sources: 0837e58ab87df0fb2db595996e1f193666795cdd
output_heap: 42f5e24942bbd23b7973c3c5ecc56a6e96cd4004
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
220bdf17d54f55aa3930e6babf5204226c781772
a16961f1256242b69befb0574d59ae55859e2ea6


