# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 60189b9c93d903378a1bfbd9e2d7119344cf2e65
input_heaps:
9cd3c53d80170445c84eedf6dd4ed5c742828d4c
1b7644e4ef7c7bda7fb3cf22b79d9258a3aaba9f
852d56faf0f411903b5a2234951a116a7a9f0d41


