# isabelle_session_info

session_name: Regular-Sets
sources: efaaad5ac96d98a1f14f571bb8f3839127eeead7
output_heap: 436810b98a5df20c9c0908969f90a5f48e8372e7
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
47f3e547c75db7767e004a4b015e520c4e949d73


