# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 766623dcf031bb5bff66fc0d39658b81043b7615
input_heaps:
771b27749d066eb00734e2e3694240d3b29658b5
60fd69b109c3dc8deafe23bc6f2cd6b659f2d722
cd3b87298f24c28f5a9b1a00e3be1bd90b35b42e


