# isabelle_session_info

session_name: Regular-Sets
sources: 7c0e5e401f04d9003cb3853d39346357a50b2cfd
output_heap: 1f61c3341659dbbf6e4a72457159ede149b95f50
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8


