prime : string -> string
STRUCTURE
SYNOPSIS
Attach a prime mark to a string.
DESCRIPTION
A call prime s is equal to s ^ "'".
FAILURE
Never fails.
SEEALSO
HOL  Trindemossen-1