# isabelle_session_info

session_name: Abstract-Rewriting
sources: 6447bd87ed3fb50e65dd0d04de67f699f89c009e
output_heap: 9f6220f2ca448ad8f991405f23191279b075b2ab
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
a8749f911b7a86e71244743f340b7cedb910c4fc
363858bd09512bc8ba5a5986f54c4a9d2e5b42f3


