# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 198544ba1d4ad4d1a06af8c9983af756036e4e57
input_heaps:
9f3df623f783fd84a7fbb5c71b7694606606d9a5
61b1f7f49064b60cde8458ef4b67e23f8844513d
804a79b9b768367a28218ae830ba7d408d066494


