# isabelle_session_info

session_name: HOL-Nominal
sources: 2c823bd7b2d8795d14005d9ae2f7ee19972ea042
output_heap: e0f9ad108647805ff9544cbd71a98d19d535d71d
input_heaps:
c5cea5b34ac37b6e0c76fe924dd8af1ace07cbbb
4a475efb7075f8100be1664cda4b4634574013fa
42782a6f0b6357843242dbe6ce35cf6575008d95


