src/Pure/ProofGeneral/pgip_parser.ML

--- a/src/Pure/ProofGeneral/pgip_parser.ML	Mon Aug 20 13:58:06 2012 +0200
+++ b/src/Pure/ProofGeneral/pgip_parser.ML	Mon Aug 20 14:09:09 2012 +0200
@@ -61,6 +61,7 @@
   |> command Keyword.thy_heading2     thy_heading
   |> command Keyword.thy_heading3     thy_heading
   |> command Keyword.thy_heading4     thy_heading
+  |> command Keyword.thy_load         thy_decl
   |> command Keyword.thy_decl         thy_decl
   |> command Keyword.thy_script       thy_decl
   |> command Keyword.thy_goal         goal