# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: a8d0963d06d56e8e186d78a91ea1a58bc79318af
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
d831109d75620b6f467bc3d503749dc1e32c6fc5


