# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0d05263bcb5e47cc93a165f8a47609165d8ee943
input_heaps:
53f1d67548a50d94a90baccfd7c8ce511a3e1b4a
f6118ffad2997e518d2c1b8be12985c8c95a4176
2a8703cad3af920728df8d76be477f3244bc91ca
18c6313faf2187c2a114f1ae3ad0f2da3ce0895a


