src/HOL/Subst/UTLemmas.thy
changeset 1381 57777949b2f8
parent 968 3cdaa8724175
child 1476 608483c2122a
     1.1 --- a/src/HOL/Subst/UTLemmas.thy	Fri Dec 01 12:27:09 1995 +0100
     1.2 +++ b/src/HOL/Subst/UTLemmas.thy	Fri Dec 01 13:03:34 1995 +0100
     1.3 @@ -9,8 +9,8 @@
     1.4  
     1.5  consts
     1.6  
     1.7 -  vars_of       ::   "'a uterm=>'a set"
     1.8 -  "<:"          ::   "['a uterm,'a uterm]=>bool"   (infixl 54) 
     1.9 +  vars_of       ::   'a uterm=>'a set
    1.10 +  "<:"          ::   ['a uterm,'a uterm]=>bool   (infixl 54) 
    1.11  
    1.12  rules  (*Definitions*)
    1.13