# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b9492517fa1ac625f6c41fd65b11a0fe39099e41
input_heaps:
401e1f28f5a50f5c72f2ef48f3f4831c174724f2
dda45cedd3f641951e9c6ce6cf5c77714bf220c2
fdbaf70ca3621b8a8b42acd0f57ade7ede5efb30


