# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a6cfec1f9403f3f02177b2d4b1f10e709900c477
input_heaps:
d50d23da2fba2fa66eac370561c930ef78815f64
42ad9fe34f8eb64ea2663c9e76a55f6c21a58507
2877564e7acd01abf35adfba190c1e8503a3502c
2d03be643c2fb47849d7639de00b146931980140


