# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 894fd43bacd3692dd4fa1f9133a407c37ec33982
input_heaps:
c27b1be1d87ea8888bb6682f289a3361d8a43a01
0a290823f7f6656dda8f24958333de33388b3fc3
7b00d92fb2e1e4906901046a386e80d4fd8af3db


