changeset 48929 | 05d4e5f660ae |
parent 48891 | c0eafbd55de3 |
child 49569 | 7b6aaf446496 |
--- a/src/Pure/Pure.thy Sun Aug 26 22:10:27 2012 +0200 +++ b/src/Pure/Pure.thy Sun Aug 26 22:23:10 2012 +0200 @@ -1,3 +1,9 @@ +(* Title: Pure/Pure.thy + Author: Makarius + +Final stage of bootstrapping Pure, based on implicit background theory. +*) + theory Pure keywords "!!" "!" "%" "(" ")" "+" "," "--" ":" "::" ";" "<" "<=" "=" "=="