# isabelle_session_info

session_name: Regular-Sets
sources: 12c7d4fff2edcecbd4fe9d686fd9cf8e4b70f328
output_heap: 9d26caa6d8122bb49ae3ee2a3204aea4641f3aac
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
93bb26101d67863666294058bea6da4fd77251ac


