# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 76402fc43f5ded392bb3340e2e5c5ee76f2b0b85
input_heaps:
675319d71f30fe1113ab62adde844862bf61566d
c1333403c22dc8fc0ae4e661507a58bdb1e66a48
c67d762025dc69f6cb9881553885cc12602af392


