# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0ed10b5369d65d7eff28e679af4634e8677f3ad0
input_heaps:
bae0b426f6b4d4eeda0a51832f133b997c1cf639
7dda90dd71cc7c967ad3e608f75d449b48b28159
16b48d93efa7c317586914ef3157bc96f15402a8


