Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed text;
authorwenzelm
Sat, 19 Aug 2000 12:47:16 +0200
changeset 9661 8b3ab0244560
parent 9660 80d14ea0e200
child 9662 896f5c5cfc56
fixed text;
src/HOL/Lambda/Type.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Lambda/Type.thy	Sat Aug 19 12:45:11 2000 +0200
+++ b/src/HOL/Lambda/Type.thy	Sat Aug 19 12:47:16 2000 +0200
@@ -353,7 +353,7 @@
     txt {* @{term Var} *}
     apply (intro strip)
     apply (case_tac "n = i")
-     txt {* #{term "n = i"} *}
+     txt {* @{term "n = i"} *}
      apply (case_tac rs)
       apply simp
      apply simp
isabelle