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/Eta.thy
changeset 5184 9b8547a9496a
parent 5146 1ea751ae62b2
child 6307 fdf236c98914 
--- a/src/HOL/Lambda/Eta.thy	Fri Jul 24 13:03:20 1998 +0200
+++ b/src/HOL/Lambda/Eta.thy	Fri Jul 24 13:19:38 1998 +0200
@@ -19,7 +19,7 @@
   "s -e>= t" == "(s,t) : eta^="
   "s ->=  t" == "(s,t) : beta^="
 
-primrec free Lambda.dB
+primrec
   "free (Var j) i = (j=i)"
   "free (s $ t) i = (free s i | free t i)"
   "free (Abs s) i = free s (Suc i)"
isabelle