Session Fresh_Identifiers
View
theory dependencies
View
document
View
outline
Theories
Fresh
Fresh_Nat
Fresh_String
Fresh_Infinite