# isabelle_session_info

session_name: Tree-Automata
sources: cf6bc414b8da9f41597a94ff61c5de4254f204b4
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
30eeac94b81bfe234ed36cb0c6d8026fdd974767
be893b48bf1964edf3e68c880cb5becf4ba1aeb9
fa1815b8175aba8afe6dbdbb2d26568717e60760


