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.
better indentation
authorpaulson
Thu, 25 May 2000 15:11:32 +0200
changeset 8968 2e88a982f96b
parent 8967 00f18476ac15
child 8969 23c6e0ca0086
better indentation
doc-src/Ref/goals.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/Ref/goals.tex	Thu May 25 15:10:57 2000 +0200
+++ b/doc-src/Ref/goals.tex	Thu May 25 15:11:32 2000 +0200
@@ -34,7 +34,7 @@
 Goalw       :           thm list -> string -> thm list
 goal        : theory ->             string -> thm list 
 goalw       : theory -> thm list -> string -> thm list 
-goalw_cterm : thm list -> cterm -> thm list 
+goalw_cterm :           thm list -> cterm  -> thm list 
 premises    : unit -> thm list
 \end{ttbox}
isabelle