# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7c0bd2d13e06b5f2f11250a862c3daaf062f9e7d
input_heaps:
92db83aab1d6ceba9962fdc7de00abde8b26320f
a20c3baeed3cffdd830de0846311cdec3c8045b0
7b66ddb71827c6b0113ed23ef569ba3b81564fca


