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