# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f51794571d8f18e11daec6b908d1f0189733f56e
input_heaps:
8a6a1967a85148d05149fc8f258f22e5ae5ca538
5117ce8f6723f2ccc7d4abf78308ec3ff8c833f8
c642aa39317d087cee66273d442eb7a30fa100e9


