# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 6cedf42eae4f674c97b804cba35461f7f697984c
input_heaps:
1260d472a45eb144f018c964d5a46fcfd50ab761
d093571a70fa6dacd44ea77b7d4dcc20182b1a1c
ce725537b1a4409120d434106a52ec4aac400f49


