ax_derivs: precise typing;
authorwenzelm
Sat May 20 23:36:53 2006 +0200 (2006-05-20)
changeset 196854477003648cc
parent 19684 6101fbebda1d
child 19686 83611262823e
ax_derivs: precise typing;
src/HOL/Bali/AxSem.thy
     1.1 --- a/src/HOL/Bali/AxSem.thy	Sat May 20 23:36:51 2006 +0200
     1.2 +++ b/src/HOL/Bali/AxSem.thy	Sat May 20 23:36:53 2006 +0200
     1.3 @@ -435,7 +435,7 @@
     1.4                                                  (   "_\<Turnstile>_:_" [61,0, 58] 57)
     1.5      ax_valids :: "prog \<Rightarrow> 'b triples \<Rightarrow> 'a triples \<Rightarrow> bool"
     1.6                                                  ("_,_|\<Turnstile>_"   [61,58,58] 57)
     1.7 -    ax_derivs :: "prog \<Rightarrow> ('b triples \<times> 'a triples) set"
     1.8 +    ax_derivs :: "prog \<Rightarrow> ('a triples \<times> 'a triples) set"
     1.9  
    1.10  syntax
    1.11