# isabelle_session_info

session_name: HOL-Nominal
sources: 7823ed5334c7a8c469eabeb752ef4ddd0b5c4ba8
output_heap: bc6ad6394cf00f107bcad6a3064e668c8936d195
input_heaps:
5d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c
99522e89eae0e0595207e8a2cb989772370d8b37
09e907963e953ddde96fcf978bc234dc629ac5c9


