# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7a525f9df1b69ff0b2205ea6c652ba76599bb962
input_heaps:
0ca5864f4aca6546754eb1e7da0e2085c3f4c937
a0786084c37e397f68aa183c1faa4d9f91f1d814
9c416526d3b73f8eae751b5cd020bab754db31e6


