# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d4768b8c6d148a1ddf7721eecff04f04644560f4
input_heaps:
d710d56c677e2fcd6d81515c51e8dac82cf68a7e
7d6dd39428a8b9d497f506977d40f7f26d211175
95d0ed2377437ce1cf118e76945af177121f9b55


