1.1 --- a/doc-src/IsarRef/Thy/Symbols.thy	Tue May 03 14:23:40 2011 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/Symbols.thy	Tue May 03 15:07:36 2011 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  theory Symbols
     1.5 -imports Pure
     1.6 +imports Base Main
     1.7  begin
     1.8  
     1.9  chapter {* Predefined Isabelle symbols \label{app:symbols} *}