# isabelle_session_info

session_name: Relation_Algebra
sources: 440db9133b20ce08feacc806bc33b8f49936f053
output_heap: 78787cbdc4a9af451669206ea19b65e5beb283c2
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
b8472359012f34971f91d8be2ac721aa84a24dbd
e624a7247034de6c2b234f179599c6ff544b9051


