--- a/src/Pure/pure.ML Fri Jan 11 18:07:30 2002 +0100 +++ b/src/Pure/pure.ML Fri Jan 11 18:07:45 2002 +0100 @@ -21,7 +21,6 @@ AxClass.setup @ Latex.setup @ Present.setup @ - Isamode.setup @ ProofGeneral.setup @ Codegen.setup @ Goals.setup;