# isabelle_session_info

session_name: HOL-Nominal
sources: a31d11e50df6479a97a3e0bf0f7a361bb57f3a92
output_heap: 0575566f4851909a7d44d0d562cf6521597580c8
input_heaps:
247ee34b70883a3fa10ad7a52a304d82cf858666
79d8a2ee73caa6ff9cf2e41500504f89e401487a
24c9ad8d0282f4fa600656d69b0c756f39f48b48


