# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 6bf16cee1989ffbbf3b6cce5076022bb7afb9a16
input_heaps:
4ada9fbe83a94b62302e9fff8dd0f370817a1bea
481d4cc41d0a5b79b151d9da80c65ac5da752b1b
2e6d92a0e8c934ceb926addad14cf8ea4f2ee433


