# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 84de0acc56743818eb28ff16905f757f0db6c5f6
input_heaps:
76577b18008530e07593d17b9b98e73a9f0ad7de
40a3057232eda93f4e99a0cc1fca62ebf7c1e395
d8442ff2fd9c68519196f7fbedd0eceebb44e05f


