# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f9eb71a5b62036e7151886947bc963831ba70928
input_heaps:
b6cea6df0192bc503fe986b33274a8145ff9ecd8
586af23001be017adfac22458b502ccc183a7aa6
7ca0f3d6338f0b1948d39f10814fe2d6f53dbcef


