# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 963a0a1f1ba4e5c3ad268a10adebcd1cff3294de
input_heaps:
48f87baeea618bf8b318f4114ee7c34a4c78daa4
981191c027fddebcb6f024ef53e3329b8a2eeb45
6f46af6086a370a3c4d2a32ec844330336128dd7
8c2aa32883338b0d01a276af70fd5780bbe676cb


