# HG changeset patch
# User paulson
# Date 959260292 -7200
# Node ID 2e88a982f96b2964b06e3ba38d25646e2589d0c5
# Parent  00f18476ac15b3089e19f2c75a3846284b03ec64
better indentation

diff -r 00f18476ac15 -r 2e88a982f96b doc-src/Ref/goals.tex
--- 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}