src/Pure/Pure.thy
changeset 63808 e8462a4349fc
parent 63579 73939a9b70a3
child 63871 f745c6e683b7
     1.1 --- a/src/Pure/Pure.thy	Mon Sep 05 23:39:15 2016 +0200
     1.2 +++ b/src/Pure/Pure.thy	Tue Sep 06 13:26:14 2016 +0200
     1.3 @@ -94,7 +94,9 @@
     1.4  abbrevs
     1.5    "default_sort" = ""
     1.6    "simproc_setup" = ""
     1.7 +  "hence" = ""
     1.8    "hence" = "then have"
     1.9 +  "thus" = ""
    1.10    "thus" = "then show"
    1.11    "apply_end" = ""
    1.12    "realizers" = ""