changeset 55674 | 8a213ab0e78a |
parent 55672 | 5e25cc741ab9 |
child 55687 | 78c83cd477c1 |
--- a/src/Pure/General/completion.ML Sat Feb 22 20:56:50 2014 +0100 +++ b/src/Pure/General/completion.ML Sat Feb 22 21:38:26 2014 +0100 @@ -1,7 +1,7 @@ (* Title: Pure/Isar/completion.ML Author: Makarius -Completion within the formal context. +Semantic completion within the formal context. *) signature COMPLETION =