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/Lambda/Lambda.thy
changeset 9827 ce6e22ff89c3
parent 9811 39ffdb8cab03
child 9906 5c027cca6262 
--- a/src/HOL/Lambda/Lambda.thy	Mon Sep 04 10:26:34 2000 +0200
+++ b/src/HOL/Lambda/Lambda.thy	Mon Sep 04 11:21:24 2000 +0200
@@ -60,8 +60,8 @@
   "_beta" :: "[dB, dB] => bool"  (infixl "->" 50)
   "_beta_rtrancl" :: "[dB, dB] => bool"  (infixl "->>" 50)
 translations
-  "s -> t" == "(s,t) \<in> beta"
-  "s ->> t" == "(s,t) \<in> beta^*"
+  "s -> t" == "(s, t) \<in> beta"
+  "s ->> t" == "(s, t) \<in> beta^*"
 
 inductive beta
   intros [simp, intro!]
isabelle