# HG changeset patch
# User wenzelm
# Date 844159438 -7200
# Node ID a3701c4343ea02da12f1acf2682d643a906f08ff
# Parent  fd26cd4da8cfee9a6d37c782e501d59329ac4861
added shyps comment;

diff -r fd26cd4da8cf -r a3701c4343ea src/Pure/thm.ML
--- a/src/Pure/thm.ML	Mon Sep 30 15:29:52 1996 +0200
+++ b/src/Pure/thm.ML	Tue Oct 01 10:43:58 1996 +0200
@@ -363,7 +363,7 @@
   {sign: Sign.sg,		(*signature for hyps and prop*)
    der: deriv,			(*derivation*)
    maxidx: int,			(*maximum index of any Var or TVar*)
-   shyps: sort list,		(* FIXME comment *)
+   shyps: sort list,		(*sort hypotheses*)
    hyps: term list,		(*hypotheses*)
    prop: term};			(*conclusion*)