# isabelle_session_info

session_name: Relation_Algebra
sources: 031e92302c8773653193f2158955cec9b0f97ed2
output_heap: 4f901c9ae9a417910cc168aee1368381f0e0c051
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
d4edbdf3ecba056d2ec91d614d82145322551a4e
14142c3c31ff371e127093eaffa0336e87e333f1


