# isabelle_session_info

session_name: Relation_Algebra
sources: b78559399b54a3c96d36417d89cf141ece75ffa6
output_heap: c78f5892a396d8a89f813f0ec229163a8fef37a8
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
86c62a8d8ac123fce4a0ee6d182b7e268d49ebac
d4aa0e16771cb192e3ab02e06ed3640f2fecf311


