# isabelle_session_info

session_name: HOL-Corec_Examples
sources: fc4201016f120f6b52c3de47c3175f519582815d
uuid: 3a6149a2-9a1f-4075-a190-3902ac2048e8
input_heaps:
7494db69a56d704462c0c0f0c662958fd44be986
d35569da02f94f5ff7cd2e9c664d515de3feb2e3
a9feece35c0c8ac4a3d703918bc4ece33fe25203


