# isabelle_session_info

session_name: Regular-Sets
sources: 229dd89d8be425ba12388ac4825b493513217f53
output_heap: aeca23ae3ad68c6292f708b1ee788178c7cc3b39
input_heaps:
ea26063c7d2b9547d258649baebbcf2e91377bef
86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d
b9602ff5d206049e9189387d43ea79f26820d465


