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/TLA/Intensional.thy
changeset 21020 9af9ceb16d58
parent 17309 c43ed29bd197
child 21624 6f79647cf536 
--- a/src/HOL/TLA/Intensional.thy	Fri Oct 13 18:14:12 2006 +0200
+++ b/src/HOL/TLA/Intensional.thy	Fri Oct 13 18:15:18 2006 +0200
@@ -180,7 +180,7 @@
   Valid_def:   "|- A    ==  ALL w. w |= A"
 
   unl_con:     "LIFT #c w  ==  c"
-  unl_lift:    "LIFT f<x> w == f (x w)"
+  unl_lift:    "lift f x w == f (x w)"
   unl_lift2:   "LIFT f<x, y> w == f (x w) (y w)"
   unl_lift3:   "LIFT f<x, y, z> w == f (x w) (y w) (z w)"
isabelle