# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d67a9a99a8a1b4db13163b5b883ecd13be887901
uuid: 8ad243b0-2af1-4aad-a47c-415b8f0d7d20
input_heaps:
cb1b65c467ef552552ff2e51a2d5ffb63afd4758
b8a02a834d8fbee8ac02bc0db66ecdd69ead8168
4b8fdb475ae762d5fda59b7f15e035b259aaff53


