# isabelle_session_info

session_name: HOL-Corec_Examples
sources: a9fa6a104eb1420d8cd9ecc833d8506a9e08f9c1
uuid: 94c7533a-dae5-462b-8a76-8a3a07624113
input_heaps:
e2de7c39f4fe13c1839505ef008d2e8cab80b2b1
a06314b2c10d1c04af4a957577328c1f98c585e1
05891fc52698f1a89b61758861ffbc8a3abc1ff6


