# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 01f7e25e76c3dd4f4cc671c9cf94909d314c875d
input_heaps:
bd474c82a4990544c5eb51a7e72ac15f897bc889
aecfd4f0ba533a34c585ff4ce800833509ee5811
baae76f36b4d1f4da668237940b568518bbbb206


