# isabelle_session_info

session_name: HOL-Nominal
sources: ca98386ed146c2d8543f028f12127c363ac8a24e
output_heap: f1eb6a27551cc6cc6fc1434c79ffbfdd5664e4b0
input_heaps:
87932c6edaedf27de51c877ca7033311a89eb072
7f58193f3d2717fe18681e21843b42a4a2b573aa
a3cd75fa2f445303fecfd31876e09edc3d66ce8b


