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/HOL.thy
changeset 14690 f61ea8bfa81e
parent 14590 276ef51cedbf
child 14749 9ccfd0f59e11 
--- a/src/HOL/HOL.thy	Sat May 01 21:58:52 2004 +0200
+++ b/src/HOL/HOL.thy	Sat May 01 21:59:12 2004 +0200
@@ -181,7 +181,7 @@
 syntax
   "_index1"  :: index    ("\<^sub>1")
 translations
-  (index) "\<^sub>1" == "_index 1"
+  (index) "\<^sub>1" => (index) "\<^bsub>\<struct>\<^esub>"
 
 local
isabelle