src/HOL/Subst/Subst.thy
Fri, 24 Jul 1998 13:19:38 +0200 berghofe Adapted to new datatype package.
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Wed, 21 May 1997 10:54:10 +0200 paulson Mostly cosmetic changes: updated headers, ID lines, etc.
less more (0) -3 tip