changeset 15661 | 9ef583b08647 |
parent 15531 | 08c8dad8e399 |
child 24106 | f2965bf954dc |
--- a/src/LCF/ex/ROOT.ML Thu Apr 07 09:24:35 2005 +0200 +++ b/src/LCF/ex/ROOT.ML Thu Apr 07 09:25:33 2005 +0200 @@ -3,7 +3,7 @@ Author: Tobias Nipkow Copyright 1991 University of Cambridge -SOME examples from Lawrence Paulson's book Logic and Computation. +Some examples from Lawrence Paulson's book Logic and Computation. *) time_use_thy "Ex1";