Theory Class1
theory
Class1
imports
"
HOL-Nominal.Nominal
"
begin
section
‹Term-Calculus from Urban's PhD›