# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 70d855d25085306638d3e603b5084a95d9f27a32
input_heaps:
94f51dd4e7676acedffe74ec8d2e2647f4dbdd0c
2feb435dc45c22ba19ecfa070808cd954dbee802
abc19200663f461245bbb072515b86a213f74ed1
8e4f8d41ba1287858ea0c270d789a36e741dae28


