# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 5f5d66ec2171fa95a6cfec9a94774477f3a5b542
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
79764dc49c42e04d2f2d7022e68e8df538e9cc73
93d774c3a1fb1ded01b225a8a6fc57c8971f6d35


