# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 50e1df3c7fde89575921ebe9d827e85481fcbf30
input_heaps:
957af7128c56069f82033b5e968057a2b85ba273
7680a58cdb0664b11a4e79f2ec2bcba369005015
b558782fd92e2df81cc9bf8286caf479e19f44dd


