# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8b2d9a9481783f58453ca2af74b4d5d9120de134
input_heaps:
863a98e2ca0ada59f7d1a7547b41b938956950f0
f61d89c27a3d78dd37ec1f9a26967b1c333aa3dd
9640e5cbfc9e7ab75cb743fc1342ebb6fa1e1e93


