# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 92ab9b5c7743aabb3d11240a82cc4b523f6742d5
input_heaps:
41dfddd2151ebee28efc9e26dbae12c72d1935da
81c9499a7df86d3b7533ed9c6efc8881fcc10f44
b462911b7460cac74c861650885356046443e0c9
0098e6949998ac11061784a8d1451af3a06498a8


