# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 62d371d0d96b4d6665d48f8efbb3889a486d4e4b
input_heaps:
de877691d4f439c54add1e4f3c47e94a8527bdce
d6535a27214e155c3bd561efa578ed5e8e87d84e
24d2dc27f73c204676aafef73b924a01d149d85e


