src/HOL/Bali/AxSem.thy
changeset 19685 4477003648cc
parent 17876 b9c92f384109
child 20014 729a45534001
     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