Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Bali/AxSem.thy
changeset 19685 4477003648cc
parent 17876 b9c92f384109
child 20014 729a45534001 
--- a/src/HOL/Bali/AxSem.thy	Sat May 20 23:36:51 2006 +0200
+++ b/src/HOL/Bali/AxSem.thy	Sat May 20 23:36:53 2006 +0200
@@ -435,7 +435,7 @@
                                                 (   "_\<Turnstile>_:_" [61,0, 58] 57)
     ax_valids :: "prog \<Rightarrow> 'b triples \<Rightarrow> 'a triples \<Rightarrow> bool"
                                                 ("_,_|\<Turnstile>_"   [61,58,58] 57)
-    ax_derivs :: "prog \<Rightarrow> ('b triples \<times> 'a triples) set"
+    ax_derivs :: "prog \<Rightarrow> ('a triples \<times> 'a triples) set"
 
 syntax
isabelle