# isabelle_session_info

session_name: HOL-Corec_Examples
sources: d8763b6cd36d724dc539944a9106b502818564e0
input_heaps:
bb2bfbd9c0379d824a446c61f99c1626944f30d7
f7a88690ac83cbb309b07310244294010daddb5c
f32ff816bb533afa52f6ced467d3853e70a6c25e


