# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0977e0791e55a83ee6fa5c9923a4c650b8731bbd
input_heaps:
8cd2a2b0485da6972fef25fa342b036cdb7debc8
3de0747a3e437ae3effbdb060d8e4514f50343a5
234d8bad874e90552827302bea0b07698ecd3c8f
ae61d70280987bd29978b35c62cf003a014a9c2d


