# isabelle_session_info

session_name: HOL-Nominal
sources: 020b689c50881c7a32adc49ec559ba1e67a693b2
output_heap: 5579e4e3523ad6e9f5e62f6ae7313ebd9fd7895c
input_heaps:
6c8e13744f5674a7b5f427d5bc2c896df0f96141
905391c16947b268265525cd86d750411a1185b6
9ac3a4eb4d12132039e4f78815a91dd814f3c338


