changeset 2047 | a3701c4343ea |
parent 2046 | fd26cd4da8cf |
child 2139 | 2c59b204b540 |
--- 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*)