# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f17fb72e5e510079e444f5d39b423b425bb260b8
input_heaps:
3eb74d6a5359503e0055a59b42ece26aa296f5b9
dd999f1a178b1375fe14ff16880213d79d49a3b7
349203482a20fd5333f27002aab1d4dc1c48df92


