# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c5c88f27eede6c24f3ee0ce0ea27c31e5fc9a560
input_heaps:
71273f2b5a292ddaf873133309c34b5758374be3
b75fa78fe7c55a0d5d72a19c39ec72148e2d4f8a
fa3be7c4e3653ef0f226383f78d639affe8c132a


