# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 857c8e3e96a0325cd1b44c0d6e7b3a55523fc8dc
input_heaps:
957af7128c56069f82033b5e968057a2b85ba273
7680a58cdb0664b11a4e79f2ec2bcba369005015
185b89dce80237eb079229b008c7afbe0c08f59b


