# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: fb6cc43f660d0579e93e3d305fc6357008d7fb11
input_heaps:
dbe489248e523e230cc84de4e3b8851f92ccabc6
eee023a3f0662bb6b233c66e85998a310b77a62b
bbf63942e5347cc03e55b638d96f9c8f9277c082


