# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 0b96b66ee62b2386d8a70037b6074e7e0dd867c5
input_heaps:
b1e54acea5930507e7d6f6a2cf3e096a6a5c5921
2567a36c9f263cecbf56bc0b7767f76710f066f9
7552c493b3d86b97156ebf34f61c6c2ba789b06b


