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/HOLCF/IOA/meta_theory/TL.thy
changeset 62004 8c6226d88ced
parent 62002 f1599e98c4d0
child 62005 68db98c2cd97 
--- a/src/HOL/HOLCF/IOA/meta_theory/TL.thy	Wed Dec 30 22:05:00 2015 +0100
+++ b/src/HOL/HOLCF/IOA/meta_theory/TL.thy	Wed Dec 30 22:09:44 2015 +0100
@@ -22,7 +22,7 @@
 
 unlift     ::  "'a lift => 'a"
 
-Init       :: "'a predicate => 'a temporal"          ("<_>" [0] 1000)
+Init       :: "'a predicate => 'a temporal"  ("\<langle>_\<rangle>" [0] 1000)
 
 Box        :: "'a temporal => 'a temporal"   ("\<box>(_)" [80] 80)
 Diamond    :: "'a temporal => 'a temporal"   ("\<diamond>(_)" [80] 80)
isabelle