# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 510ad653e397c0d25a0ce460a6ba06c99f709fdf
uuid: 65ed3d73-f589-4562-8961-d9b5afc57656
input_heaps:
7332888f14d171ca4efac7179f55d54ece2c6bbf
2e67a21ac8031daa43c777a5e17028797e1134d3
a2c5fee50d7c11ca03808a8187a3d8f3dc12a2df


