# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d3fefbb23a298f82550dc8e0ca54ab01f8b82c39
input_heaps:
685a311797845e45d1e0e94079c226b99532de8d
ecda265f0c10e11be2e8ba52576797c5f2be44b5
b65ab027311c69044c4ea978b04fec953edd36a0
9fe525a870f5fbd9ed7825b43d97d73b1862efe0


