| changeset 19336 | fb5e19d26d5e |
| parent 12593 | cd35fe5947d4 |
| child 33615 | 261abc2e3155 |
--- a/src/ZF/Resid/ROOT.ML Fri Mar 31 10:52:20 2006 +0200 +++ b/src/ZF/Resid/ROOT.ML Fri Mar 31 10:53:33 2006 +0200 @@ -8,7 +8,7 @@ By Ole Rasmussen, following the Coq proof given in -Gérard Huet. Residual Theory in Lambda-Calculus: A Formal Development. +Gerard Huet. Residual Theory in Lambda-Calculus: A Formal Development. J. Functional Programming 4(3) 1994, 371-394. *)