src/HOL/Subst/UTerm.thy
1996-02-05 ago expanded tabs; incorporated Konrad's changes
1995-12-01 ago removed some more quotes
1995-11-29 ago removed quotes from consts and syntax sections
1995-06-21 ago removed \...\ inside strings
1995-03-21 ago converted Subst with curried function application