Subst/UTerm.thy
Wed, 21 Jun 1995 15:12:40 +0200 clasohm removed \...\ inside strings
Wed, 24 Aug 1994 18:49:29 +0200 lcp Subst/UTerm: updated for inductive defs; streamlined proofs
Wed, 02 Mar 1994 12:26:55 +0100 clasohm changed "." to "$" and Cons to infix "#" to eliminate ambiguity
Thu, 16 Sep 1993 12:21:07 +0200 clasohm Initial revision
less more (0) tip