# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4f3abb6c8031372748e6d1fae5d9211668b8a957
input_heaps:
94bc2aef97f45ab00e72704ecebbbcc992b99abf
3f8b5da88d1370194413e7da6a06ba328301b2ca
b4481ad167c3503c48d8d77626b46ea0d504fe04


