--- a/etc/isar-keywords-HOL-Nominal.el Tue Jul 10 09:23:17 2007 +0200 +++ b/etc/isar-keywords-HOL-Nominal.el Tue Jul 10 09:24:14 2007 +0200 @@ -276,6 +276,7 @@ "sequential" "shows" "structure" + "to" "unchecked" "uses" "where"))