Theory PreSimplyTyped
theory
PreSimplyTyped
imports
Fresh
Permutation
begin
type_synonym
tvar
=
nat