# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 4cfe1c54bfc42682a2a418ed4efa882bf15b5465
input_heaps:
7ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da
173ebb4f87bc782b63cf102fdfc8b061631d5b0f
39e60d5dd3a8625aa5f685558211aaea63c973dc


