# isabelle_session_info

session_name: Abstract-Rewriting
sources: 28204a7cacd128c9a14fa28a847ac787a5cc2e5f
output_heap: a25669826a1e513682727b37d7c1cadd9c4691be
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8


