# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: af1cd91dc3ee5502009c63ade6202a79652e3e5d
input_heaps:
767d1abb4385cc0848829909014ec5284a74f26d
f8f7da93998fdd1c52e2a4472eb3025f88ab3418
dfad9809a81000a67ac7887c8617cf6eb1c8adf4


