# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b7c146a3a873cba809fa3a611bf5002b86b290d8
input_heaps:
ce650bef79d6d345a890ff07d7a9b3683844e575
f08d4f4b93eafc7f860a3267e5cf1a14728b74a1
ee0fd5229c6e3bb8500d50dd33d09f06200643da


