# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b8f38366c41b91fae603019982e4bc7ccb89f8ab
input_heaps:
440b9f4889eeccfeb8f57d192fef3c943c95e2f6
15a57fa35da2c9fc03615797247fc7f427c7b698
f574a9bb79e5b51ede46f5b2a9d5ace0b6ac495a
17ec783a319897046c456cb5b78e7161831601ad


