Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ax_derivs: precise typing;
authorwenzelm
Sat, 20 May 2006 23:36:53 +0200
changeset 19685 4477003648cc
parent 19684 6101fbebda1d
child 19686 83611262823e
ax_derivs: precise typing;
src/HOL/Bali/AxSem.thy file | annotate | diff | comparison | revisions 
--- 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