# isabelle_session_info

session_name: FOL_Seq_Calc1
sources: 2563b09aaf51ece001f2bcad5d7bbb957afe21ac
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
af4bbae4b9ea16b6b597e756483e87e8d6441217
1cf2eea575874fc176d5f33f6f10f500d8d04c9c


