# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 60a16e9e8330ba1c9e7a057cbf0afd37506c8e79
input_heaps:
5f1f4c97eda553942b9ec06e90a078c551996761
43ab74d089e128bd76f985380546492c99756e15
828ad638e74e192cbb95eac6d611b446a20b3089
6ff09d2d53b22409374069eb827dfed8554382b5


