Aliases |
Syntax |
Aliases():TAGGED("Aliases") |
Description |
Example |
Alias LL := $abcd; Aliases(); Coclib = $coclib Approx = $approx ---> Output suppressed <--- TP = $contrib/thmproving TV = $contrib/typevectors LL = $abcd ------------------------------- |
See Also |