# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 7bf5512c766115a26126e69897d8b3f9bf232e8b
uuid: 9c8f00df-049e-473d-97b4-e93616281d40
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
66d209fd0192158045176f759b5bf813e284589b


