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/DeclConcepts.thy
changeset 35547 991a6af75978
parent 35440 bdf8ad377877
parent 35431 8758fe1fc9f8
child 36366 886b94b1bed7 
--- a/src/HOL/Bali/DeclConcepts.thy	Wed Mar 03 15:19:34 2010 +0100
+++ b/src/HOL/Bali/DeclConcepts.thy	Wed Mar 03 16:43:55 2010 +0100
@@ -1377,7 +1377,7 @@
   fspec = "vname \<times> qtname"
 
 translations 
-  "fspec" <= (type) "vname \<times> qtname" 
+  (type) "fspec" <= (type) "vname \<times> qtname" 
 
 definition imethds :: "prog \<Rightarrow> qtname \<Rightarrow> (sig,qtname \<times> mhead) tables" where
 "imethds G I
isabelle