--- a/src/Pure/Pure.thy Mon Sep 05 23:39:15 2016 +0200
+++ b/src/Pure/Pure.thy Tue Sep 06 13:26:14 2016 +0200
@@ -94,7 +94,9 @@
abbrevs
"default_sort" = ""
"simproc_setup" = ""
+ "hence" = ""
"hence" = "then have"
+ "thus" = ""
"thus" = "then show"
"apply_end" = ""
"realizers" = ""